@inproceedings{DBLP:conf/lics/Vardi95,
author = {Moshe Y. Vardi},
title = {On the Complexity of Modular Model Checking},
booktitle = {LICS},
year = {1995},
pages = {101-111},
ee = {http://doi.ieeecomputersociety.org/10.1109/LICS.1995.523248},
crossref = {DBLP:conf/lics/LICS10, DBLP:conf/lics/1995},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/lics/1995,
title = {Proceedings, 10th Annual IEEE Symposium on Logic in Computer
Science, San Diego, California, USA, June 26-29, 1995},
booktitle = {LICS},
publisher = {IEEE Computer Society},
year = {1995},
isbn = {0-8186-7050-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2004-03-23 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
