%0 Conference Paper %1 conf/emsoft/KatoenW14 %A Katoen, Joost-Pieter %A Wu, Hao %B EMSOFT %D 2014 %E Mitra, Tulika %E Reineke, Jan %I ACM %K dblp %P 1:1-1:10 %T Exponentially timed SADF: Compositional semantics, reductions, and analysis. %U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2014.html#KatoenW14

@inproceedings{conf/emsoft/KatoenW14, added-at = {2018-11-14T00:00:00.000+0100}, author = {Katoen, Joost-Pieter and Wu, Hao}, biburl = {https://www.bibsonomy.org/bibtex/290971229918a3765e5179c6d52659970/dblp}, booktitle = {EMSOFT}, crossref = {conf/emsoft/2014}, editor = {Mitra, Tulika and Reineke, Jan}, ee = {https://www.wikidata.org/entity/Q57800802}, interhash = {e77f386162f47d8743f75cffcc2cc066}, intrahash = {90971229918a3765e5179c6d52659970}, keywords = {dblp}, pages = {1:1-1:10}, publisher = {ACM}, timestamp = {2024-04-09T19:08:08.000+0200}, title = {Exponentially timed SADF: Compositional semantics, reductions, and analysis.}, url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2014.html#KatoenW14}, year = 2014 }