keyword:"Programmverifikation" - Search Results - RWTH Publications

Search collections:

Sort by:	Display results:	Output format:

1.	Planning and verification in the agent language Golog = Planen und Verifikation in der Agentensprache Golog Claßen, J. (Author) ; Lakemeyer, G. (Thesis advisor) URN: urn:nbn:de:hbz:82-opus-48094 Dissertation / PhD Thesis 2013
2.	Verification of Erlang programs using abstract interpretation and model checking Huch, F. G. (Author) ; Indermark, K. (Thesis advisor) URN: urn:nbn:de:hbz:82-opus-4303 Dissertation / PhD Thesis 2001 & 2002

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.

RWTH

RWTH Aachen - Startseite

Universitätsbibliothek

Kontakt

RWTH Publications

Allgemeines