%0 Conference Paper %1 conf/wdag/BasuBBS09 %A Basu, Ananda %A Bonakdarpour, Borzoo %A Bozga, Marius %A Sifakis, Joseph %B DISC %D 2009 %E Keidar, Idit %I Springer %K dblp %P 174-175 %T Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset. %U http://dblp.uni-trier.de/db/conf/wdag/disc2009.html#BasuBBS09 %V 5805 %@ 978-3-642-04354-3

@inproceedings{conf/wdag/BasuBBS09, added-at = {2017-05-19T00:00:00.000+0200}, author = {Basu, Ananda and Bonakdarpour, Borzoo and Bozga, Marius and Sifakis, Joseph}, biburl = {https://www.bibsonomy.org/bibtex/2613757c4865ac9e989a74ceea5ed0f20/dblp}, booktitle = {DISC}, crossref = {conf/wdag/2009}, editor = {Keidar, Idit}, ee = {https://doi.org/10.1007/978-3-642-04355-0_19}, interhash = {c6c476fc649dc891ae4edeaa8305af87}, intrahash = {613757c4865ac9e989a74ceea5ed0f20}, isbn = {978-3-642-04354-3}, keywords = {dblp}, pages = {174-175}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:40:04.000+0200}, title = {Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset.}, url = {http://dblp.uni-trier.de/db/conf/wdag/disc2009.html#BasuBBS09}, volume = 5805, year = 2009 }