The Algebraic Mu-Calculus and MTBDDs


Baier, Christel ; Clarke, Edmund M.


URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=1...
Dokumenttyp: Konferenzveröffentlichung
Erscheinungsjahr: 1998
Buchtitel: Proceedings / 5th Workshop on Logic, Language, Information and Computation, WoLLIC '98, University of Sao Paulo, Brazil, July 28-31, 1998
Seitenbereich: 27-38
Veranstaltungsdatum: July 28-31, 1998
Ort der Veröffentlichung: Sao Paulo
Verlag: Univ.
Sprache der Veröffentlichung: Englisch
Einrichtung: Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Praktische Informatik II (Majster-Cederbaum Em)
Fachgebiet: 004 Informatik

Dieser Eintrag ist Teil der Universitätsbibliographie.




+ Zitationsbeispiel und Export

Baier, Christel ; Clarke, Edmund M. (1998) The Algebraic Mu-Calculus and MTBDDs. In: Proceedings / 5th Workshop on Logic, Language, Information and Computation, WoLLIC '98, University of Sao Paulo, Brazil, July 28-31, 1998 1998 Sao Paulo [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