%0 Conference Paper %1 conf/ifip2/Broy89 %A Broy, Manfred %B Formal Description of Programming Concepts %D 1989 %E Neuhold, Erich J. %E Paul, Manfred %I Springer %K dblp %P 319-262 %T Formalization of Distributed, Concurrent, Reactive Systems. %U http://dblp.uni-trier.de/db/conf/ifip2/fdpc1989.html#Broy89 %@ 3-540-53961-1

@inproceedings{conf/ifip2/Broy89, added-at = {2019-01-17T00:00:00.000+0100}, author = {Broy, Manfred}, biburl = {https://www.bibsonomy.org/bibtex/2727cfdc79e304ab702ecec34349bce67/dblp}, booktitle = {Formal Description of Programming Concepts}, crossref = {conf/ifip2/1989}, editor = {Neuhold, Erich J. and Paul, Manfred}, interhash = {93b8af4fbc5816cb1abce7daf70d5cee}, intrahash = {727cfdc79e304ab702ecec34349bce67}, isbn = {3-540-53961-1}, keywords = {dblp}, pages = {319-262}, publisher = {Springer}, series = {IFIP State-of-the-Art Reports}, timestamp = {2019-01-18T11:38:44.000+0100}, title = {Formalization of Distributed, Concurrent, Reactive Systems.}, url = {http://dblp.uni-trier.de/db/conf/ifip2/fdpc1989.html#Broy89}, year = 1989 }