@inproceedings{dbc65b05f2e54d94a556df024c11d882,
title = "On-the-Fly Verification with PROD",
keywords = "linear time temporal properties, on-the-fly verification, predicate/transition nets, reachability analysis, stubborn set method, linear time temporal properties, on-the-fly verification, predicate/transition nets, reachability analysis, stubborn set method, linear time temporal properties, on-the-fly verification, predicate/transition nets, reachability analysis, stubborn set method",
author = "K. Varpaaniemi",
year = "1994",
language = "English",
pages = "80--83",
editor = "J. Desel and A. Oberweis and W. Reisig",
booktitle = "{"}Algorithmen und Werkzeuge f{\"u}r Petrinetze{"} Workshop, Berlin, Germany, 10.-11.10.1994",
publisher = "University of Karlsruhe",
address = "Germany",
}