%0 Conference Paper %1 conf/concur/HarelKV97 %A Harel, David %A Kupferman, Orna %A Vardi, Moshe Y. %B CONCUR %D 1997 %E Mazurkiewicz, Antoni W. %E Winkowski, Józef %I Springer %K dblp %P 258-272 %T On the Complexity of Verifying Concurrent Transition Systems. %U http://dblp.uni-trier.de/db/conf/concur/concur1997.html#HarelKV97 %V 1243 %@ 3-540-63141-0

@inproceedings{conf/concur/HarelKV97, added-at = {2017-05-22T00:00:00.000+0200}, author = {Harel, David and Kupferman, Orna and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2379ca6a1ee51d6204377a4e9e31f00b1/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/1997}, editor = {Mazurkiewicz, Antoni W. and Winkowski, Józef}, ee = {https://doi.org/10.1007/3-540-63141-0_18}, interhash = {a9db82969df93b6853048423ef5a57d1}, intrahash = {379ca6a1ee51d6204377a4e9e31f00b1}, isbn = {3-540-63141-0}, keywords = {dblp}, pages = {258-272}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:57:55.000+0200}, title = {On the Complexity of Verifying Concurrent Transition Systems.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur1997.html#HarelKV97}, volume = 1243, year = 1997 }