Baldan, Paolo; Corradini, Andrea; König, Barbara; Schwoon, Stefan:

McMillan's complete prefix for contextual nets

In: Transactions on Petri Nets and Other Models of Concurrency. - (Lecture Notes in Computer Science ; 5100)
Berlin [u.a.]: Springer (2008), S. 199 - 220
ISBN: 3-540-89286-9
Buchaufsatz / Kapitel / Fach: Informatik

Dieser Eintrag ist freigegeben.