For the most recent entries see the Petri Nets Newsletter.

Model-checking LTL using net unfoldings.

Wallner, F.

In: Lecture Notes in Computer Science, Vol. 1427: Proceedings of CAV'95, 10th International Conference on Computer Aided Verification), Vancouver, Canada, pages 207-218. Springer-Verlag, 1998.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography