%0 Conference Paper %1 conf/concur/Gunawardena97 %A Gunawardena, Jeremy %B CONCUR %D 1997 %E Mazurkiewicz, Antoni W. %E Winkowski, Józef %I Springer %K dblp %P 1-4 %T Recent Developments in the Mathematics of Reactive Systems (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/concur/concur1997.html#Gunawardena97 %V 1243 %@ 3-540-63141-0

@inproceedings{conf/concur/Gunawardena97, added-at = {2017-05-22T00:00:00.000+0200}, author = {Gunawardena, Jeremy}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b5bed35b96c4f9c33a78b70f47324a4f/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/1997}, editor = {Mazurkiewicz, Antoni W. and Winkowski, Józef}, ee = {https://doi.org/10.1007/3-540-63141-0_1}, interhash = {293843a9a92e6f6db0a23c02261bb5c1}, intrahash = {b5bed35b96c4f9c33a78b70f47324a4f}, isbn = {3-540-63141-0}, keywords = {dblp}, pages = {1-4}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:23:13.000+0200}, title = {Recent Developments in the Mathematics of Reactive Systems (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/concur/concur1997.html#Gunawardena97}, volume = 1243, year = 1997 }