%0 Conference Paper %1 701938 %A Kesten, Yonit %A Pnueli, Amir %A Shahar, Elad %A Zuck, Lenore D. %B CONCUR '02: Proceedings of the 13th International Conference on Concurrency Theory %C London, UK %D 2002 %I Springer-Verlag %K liveness networkinvariant parameterized verification %P 101--115 %T Network Invariants in Action %U http://portal.acm.org/citation.cfm?id=701938 %@ 3-540-44043-7

@inproceedings{701938, added-at = {2010-01-13T15:26:45.000+0100}, address = {London, UK}, author = {Kesten, Yonit and Pnueli, Amir and Shahar, Elad and Zuck, Lenore D.}, biburl = {https://www.bibsonomy.org/bibtex/22be66efb635f2fab02c49f9a52902171/giuliano.losa}, booktitle = {CONCUR '02: Proceedings of the 13th International Conference on Concurrency Theory}, description = {Network Invariants in Action}, interhash = {4e195c72121e155779cac1ef219e49c5}, intrahash = {2be66efb635f2fab02c49f9a52902171}, isbn = {3-540-44043-7}, keywords = {liveness networkinvariant parameterized verification}, pages = {101--115}, publisher = {Springer-Verlag}, timestamp = {2010-01-13T15:26:45.000+0100}, title = {Network Invariants in Action}, url = {http://portal.acm.org/citation.cfm?id=701938}, year = 2002 }