%0 Conference Paper %1 conf/podc/ShuklaHRRS96 %A Shukla, Sandeep K. %A III, Harry B. Hunt %A Rosenkrantz, Daniel J. %A Ravi, S. S. %A Stearns, Richard Edwin %B PODC %D 1996 %E Burns, James E. %E Moses, Yoram %I ACM %K dblp %P 122 %T I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract). %U http://dblp.uni-trier.de/db/conf/podc/podc96.html#ShuklaHRRS96 %@ 0-89791-800-2

@inproceedings{conf/podc/ShuklaHRRS96, added-at = {2018-11-06T00:00:00.000+0100}, author = {Shukla, Sandeep K. and III, Harry B. Hunt and Rosenkrantz, Daniel J. and Ravi, S. S. and Stearns, Richard Edwin}, biburl = {https://www.bibsonomy.org/bibtex/2ba4253fa1b8f88eed5aca8bef3c5d8c6/dblp}, booktitle = {PODC}, crossref = {conf/podc/1996}, editor = {Burns, James E. and Moses, Yoram}, ee = {https://doi.org/10.1145/248052.248072}, interhash = {ab80d1d7f1072cadd40392888dac777f}, intrahash = {ba4253fa1b8f88eed5aca8bef3c5d8c6}, isbn = {0-89791-800-2}, keywords = {dblp}, pages = 122, publisher = {ACM}, timestamp = {2018-11-07T14:52:49.000+0100}, title = {I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract).}, url = {http://dblp.uni-trier.de/db/conf/podc/podc96.html#ShuklaHRRS96}, year = 1996 }