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 / Fach: Informatik

Dieser Eintrag ist freigegeben.