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 Sammelwerk2007Informatik
Titel:
McMillan's complete prefix for contextual nets
Autor(in):
Baldan, Paolo; Corradini, Andrea; König, BarbaraLSF; Schwoon, Stefan
Erscheinungsjahr
2007
WWW URL