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