Syntactic action refinement in the modal Mu-Calculus and its application to the verification of reactive systems


Majster-Cederbaum, Mila ; Salger, Frank


URL: http://citeseerx.ist.psu.edu/viewdoc/download?doi=...
Weitere URL: http://www.researchgate.net/publication/2817869_Syntactic_Action_Refinement_in_the_Modal_Mu-Calculus_and_its_Applications_to_the_Verification_of_Reactive_Systems
Dokumenttyp: Konferenzveröffentlichung
Erscheinungsjahr: 1999
Buchtitel: NWPT'99 : The 11th Nordic Workshop on Programming Theory, Uppsala University, Sweden, October 6-8 1999 ; proceedings
Titel einer Zeitschrift oder einer Reihe: Technical report / Department of Information Technology, Uppsala University
Band: 99/008
Autor/Hrsg. des Buches
(nur der Erstgenannte!)
:
Victor, Björn
Ort der Veröffentlichung: Uppsala
Verlag: Univ.
ISSN: 1404-3203
Sprache der Veröffentlichung: Englisch
Einrichtung: Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Praktische Informatik II (Majster-Cederbaum Em)
Fachgebiet: 004 Informatik
Zusätzliche Informationen: http://www.it.uu.se/research/publications/reports/1999-008/nwpt99/proceedings/

Dieser Eintrag ist Teil der Universitätsbibliographie.




+ Zitationsbeispiel und Export

Majster-Cederbaum, Mila und Salger, Frank (1999) Syntactic action refinement in the modal Mu-Calculus and its application to the verification of reactive systems. In: NWPT'99 : The 11th Nordic Workshop on Programming Theory, Uppsala University, Sweden, October 6-8 1999 ; proceedings 1999 Uppsala [Konferenzveröffentlichung]



+ Suche Autoren in

+ Aufruf-Statistik

Aufrufe im letzten Jahr

Detailierte Angaben



Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail


Actions (login required)

Eintrag anzeigen Eintrag anzeigen