%0 Conference Paper %1 conf/formats/KanovichKNST16 %A Kanovich, Max I. %A Kirigin, Tajana Ban %A Nigam, Vivek %A Scedrov, Andre %A Talcott, Carolyn L. %B FORMATS %D 2016 %E Fränzle, Martin %E Markey, Nicolas %I Springer %K dblp %P 228-244 %T Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. %U http://dblp.uni-trier.de/db/conf/formats/formats2016.html#KanovichKNST16 %V 9884 %@ 978-3-319-44877-0

@inproceedings{conf/formats/KanovichKNST16, added-at = {2017-05-26T00:00:00.000+0200}, author = {Kanovich, Max I. and Kirigin, Tajana Ban and Nigam, Vivek and Scedrov, Andre and Talcott, Carolyn L.}, biburl = {https://www.bibsonomy.org/bibtex/2b42dd36d31b19a6af11af716eeb9e3e0/dblp}, booktitle = {FORMATS}, crossref = {conf/formats/2016}, editor = {Fränzle, Martin and Markey, Nicolas}, ee = {https://doi.org/10.1007/978-3-319-44878-7_14}, interhash = {17035a2dc3a0fb00a515326a7ce7834b}, intrahash = {b42dd36d31b19a6af11af716eeb9e3e0}, isbn = {978-3-319-44877-0}, keywords = {dblp}, pages = {228-244}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:44:26.000+0200}, title = {Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems.}, url = {http://dblp.uni-trier.de/db/conf/formats/formats2016.html#KanovichKNST16}, volume = 9884, year = 2016 }