%0 Conference Paper %1 conf/birthday/AbdullaJ99 %A Abdulla, Parosh Aziz %A Jonsson, Bengt %B Correct System Design %D 1999 %E Olderog, Ernst-Rüdiger %E Steffen, Bernhard %I Springer %K dblp %P 180-197 %T On the Existence of Network Invariants for Verifying Parameterized Systems. %U http://dblp.uni-trier.de/db/conf/birthday/langmaack1999.html#AbdullaJ99 %V 1710 %@ 3-540-66624-9

@inproceedings{conf/birthday/AbdullaJ99, added-at = {2021-08-31T00:00:00.000+0200}, author = {Abdulla, Parosh Aziz and Jonsson, Bengt}, biburl = {https://www.bibsonomy.org/bibtex/2e9d7da0d04345890749ca3f0099c8cdd/dblp}, booktitle = {Correct System Design}, crossref = {conf/birthday/1999langmaack}, editor = {Olderog, Ernst-Rüdiger and Steffen, Bernhard}, ee = {https://doi.org/10.1007/3-540-48092-7_9}, interhash = {5d928f07558744b9e45747a894bf0ec4}, intrahash = {e9d7da0d04345890749ca3f0099c8cdd}, isbn = {3-540-66624-9}, keywords = {dblp}, pages = {180-197}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:15:25.000+0200}, title = {On the Existence of Network Invariants for Verifying Parameterized Systems.}, url = {http://dblp.uni-trier.de/db/conf/birthday/langmaack1999.html#AbdullaJ99}, volume = 1710, year = 1999 }