Bibliography
Model Checking Object Petri Nets in Prolog
Berndt Farwer and M. Leuschel.
Model checking object Petri nets in Prolog.
In Proceedings of the 6th ACM SIGPLAN international conference
on Principles and practice of declarative programming, pages 20-31. ACM
Press, 2004.
BibTeX
@inproceedings{Farwer+04c,
Author = {Farwer, Berndt and Leuschel, M.},
Booktitle = {Proceedings of the 6th ACM SIGPLAN international
conference on Principles and practice of declarative programming},
Pages = {20--31},
Publisher = ACMPRESS,
Title = {Model Checking Object {Petri} Nets in {Prolog}},
Year = 2004
}
