%0 Conference Paper %1 conf/wdag/MarzulloN91 %A Marzullo, Keith %A Neiger, Gil %B WDAG %D 1991 %E Toueg, Sam %E Spirakis, Paul G. %E Kirousis, Lefteris M. %I Springer %K dblp %P 254-272 %T Detection of Global State Predicates. %U http://dblp.uni-trier.de/db/conf/wdag/wdag91.html#MarzulloN91 %V 579 %@ 3-540-55236-7

@inproceedings{conf/wdag/MarzulloN91, added-at = {2017-05-19T00:00:00.000+0200}, author = {Marzullo, Keith and Neiger, Gil}, biburl = {https://www.bibsonomy.org/bibtex/29bc5d313af467d8b315e9c81d95231a0/dblp}, booktitle = {WDAG}, crossref = {conf/wdag/1991}, editor = {Toueg, Sam and Spirakis, Paul G. and Kirousis, Lefteris M.}, ee = {https://doi.org/10.1007/BFb0022452}, interhash = {72664f0de63f94adbcf0a856d0171959}, intrahash = {9bc5d313af467d8b315e9c81d95231a0}, isbn = {3-540-55236-7}, keywords = {dblp}, pages = {254-272}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:40:19.000+0200}, title = {Detection of Global State Predicates.}, url = {http://dblp.uni-trier.de/db/conf/wdag/wdag91.html#MarzulloN91}, volume = 579, year = 1991 }