Esparza, J. (1993). On the decidability of model checking for several my-calculi and Petri nets.
Chicago-Zitierstil (17. Ausg.)Esparza, Javier. On the Decidability of Model Checking for Several My-calculi and Petri Nets. Edinburgh, 1993.
MLA-Zitierstil (9. Ausg.)Esparza, Javier. On the Decidability of Model Checking for Several My-calculi and Petri Nets. 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.