Jiri Barnat, Lubos Brim, Jakub Chaloupka. From Distributed Memory Cycle Detection to Parallel LTL Model Checking. Electronic Notes in Theoretical Computer Science, 133:21-39, 2005. [doi]
@article{BarnatBC05, title = {From Distributed Memory Cycle Detection to Parallel LTL Model Checking}, author = {Jiri Barnat and Lubos Brim and Jakub Chaloupka}, year = {2005}, doi = {10.1016/j.entcs.2004.08.056}, url = {http://dx.doi.org/10.1016/j.entcs.2004.08.056}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/BarnatBC05}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {133}, pages = {21-39}, }