On Developing Correct Reactive Systems by Syntatically Refining Temporal Specifications

Document Type:	Conference or workshop publication
Year of publication:	2001
Book title:	FMICS 2001, Formal Methods for Industrial Critical Systems : proceedings of the 6th International Workshop on Formal Methods for Industrial Critical Systems
The title of a journal, publication series:	Proceedings of the 6th International Workshop on Formal Methods for Industrial Critical Systems
Page range:	63-78
Location of the conference venue:	Paris
Date of the conference:	16-17 July 2001
Place of publication:	New York, NY
Publishing house:	Assoc. for Computing Machinery
Publication language:	German
Institution:	School of Business Informatics and Mathematics > Praktische Informatik II (Majster-Cederbaum -2005, Em)
Subject:	004 Computer science, internet
Additional information:	Online Ressource

Dieser Eintrag ist Teil der Universitätsbibliographie.

BASE: Majster-Cederbaum, Mila ; Salger, Frank

Google Scholar: Majster-Cederbaum, Mila ; Salger, Frank

Hits per month over past year

You have found an error? Please let us know about your desired correction here: E-Mail

Show item