Javier Esparza. Model Checking Using Net Unfoldings. Science of Computer Programming, 23(2-3):151-195, 1994.
@article{Esparza94, title = {Model Checking Using Net Unfoldings}, author = {Javier Esparza}, year = {1994}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/Esparza94}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {23}, number = {2-3}, pages = {151-195}, }