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.