%0 Conference Paper %1 conf/mochart/LomuscioPQ08 %A Lomuscio, Alessio %A Penczek, Wojciech %A Qu, Hongyang %B MoChArt %D 2008 %E Peled, Doron A. %E Wooldridge, Michael J. %I Springer %K dblp %P 106-121 %T Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic. %U http://dblp.uni-trier.de/db/conf/mochart/mochart2008.html#LomuscioPQ08 %V 5348 %@ 978-3-642-00430-8

@inproceedings{conf/mochart/LomuscioPQ08, added-at = {2019-10-19T00:00:00.000+0200}, author = {Lomuscio, Alessio and Penczek, Wojciech and Qu, Hongyang}, biburl = {https://www.bibsonomy.org/bibtex/2b9eaff57f1290e250357fd7d627d3307/dblp}, booktitle = {MoChArt}, crossref = {conf/mochart/2008}, editor = {Peled, Doron A. and Wooldridge, Michael J.}, ee = {https://doi.org/10.1007/978-3-642-00431-5_7}, interhash = {28910a89d55191d35dabacec9ea94601}, intrahash = {b9eaff57f1290e250357fd7d627d3307}, isbn = {978-3-642-00430-8}, keywords = {dblp}, pages = {106-121}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T16:24:06.000+0200}, title = {Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic.}, url = {http://dblp.uni-trier.de/db/conf/mochart/mochart2008.html#LomuscioPQ08}, volume = 5348, year = 2008 }