Bernard Willems, Pierre Wolper. Partial-Order Methods for Model Checking: From Linear Time to Branching Time. In LICS. pages 294-303, 1996.
@inproceedings{WillemsW96, title = {Partial-Order Methods for Model Checking: From Linear Time to Branching Time}, author = {Bernard Willems and Pierre Wolper}, year = {1996}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/WillemsW96}, cites = {0}, citedby = {0}, pages = {294-303}, booktitle = {LICS}, }