Exploiting Architectural Constraints and Branching Bisimulation : Equivalences in Component-Based Systems

Lambertz, Christian

URL:	http://www.win.tue.nl/~mousavi/fm09ds.pdf
Dokumenttyp:	Konferenzveröffentlichung
Erscheinungsjahr:	2009
Buchtitel:	Proceedings of Formal Methods 2009 Doctoral Symposium : November 6, 2009 Eindhoven, The Netherlands
Titel einer Zeitschrift oder einer Reihe:	Proceedings of Formal Methods 2009 Doctoral Symposium November 6, 2009 Eindhoven, The Netherlands
Seitenbereich:	1-7
Herausgeber:	Mousavi, MohammadReza
Ort der Veröffentlichung:	Eindhoven
Verlag:	Univ. of Technology
Sprache der Veröffentlichung:	Englisch
Einrichtung:	Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Praktische Informatik II (Majster-Cederbaum -2005, Em)
Fachgebiet:	004 Informatik
Zusätzliche Informationen:	Online Ressource

Dieser Eintrag ist Teil der Universitätsbibliographie.

BASE: Lambertz, Christian

Google Scholar: Lambertz, Christian

Aufrufe im letzten Jahr

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

Eintrag anzeigen