%0 Conference Paper %1 conf/concur/ClarkeTTV04 %A Clarke, Edmund M. %A Talupur, Muralidhar %A Touili, Tayssir %A Veith, Helmut %B CONCUR %D 2004 %E Gardner, Philippa %E Yoshida, Nobuko %I Springer %K dblp %P 276-291 %T Verification by Network Decomposition. %U http://dblp.uni-trier.de/db/conf/concur/concur2004.html#ClarkeTTV04 %V 3170 %@ 3-540-22940-X

@inproceedings{conf/concur/ClarkeTTV04, added-at = {2017-05-23T00:00:00.000+0200}, author = {Clarke, Edmund M. and Talupur, Muralidhar and Touili, Tayssir and Veith, Helmut}, biburl = {https://www.bibsonomy.org/bibtex/20c854c1d0bdbb2c845701a5b51ca2b57/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2004}, editor = {Gardner, Philippa and Yoshida, Nobuko}, ee = {https://doi.org/10.1007/978-3-540-28644-8_18}, interhash = {df56d94cb8e45eba72b2788873d97219}, intrahash = {0c854c1d0bdbb2c845701a5b51ca2b57}, isbn = {3-540-22940-X}, keywords = {dblp}, pages = {276-291}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:57:55.000+0200}, title = {Verification by Network Decomposition.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2004.html#ClarkeTTV04}, volume = 3170, year = 2004 }