Javier Esparza, Astrid Kiehn
On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes
CAV, 1995.
@inproceedings{CAV-1995-EsparzaK,
author = "Javier Esparza and Astrid Kiehn",
booktitle = "{Proceedings of the Seventh International Conference on Computer Aided Verification}",
doi = "10.1007/3-540-60045-0_62",
isbn = "3-540-60045-0",
pages = "353--366",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes}",
volume = 939,
year = 1995,
}