Baldan, Paolo; Corradini, Andrea; König, Barbara; Schwoon, Stefan:
McMillan's complete prefix for contextual nets
In: Proceedings of the Workshop on UnFOlding and partial order techniques, UFO'07 - 2007
Buchaufsatz/Kapitel in Sammelwerk / Fach: Informatik
Titel:
McMillan's complete prefix for contextual nets
Autor(in):
Baldan, Paolo; Corradini, Andrea; König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Schwoon, Stefan
Erscheinungsjahr:
2007
Erschienen in:
Proceedings of the Workshop on UnFOlding and partial order techniques, UFO'07 - 2007
Link URL: