%0 Book Section %1 conf/korso/SchellhornB95 %A Schellhorn, Gerhard %A Burandt, Axel %B Formal Development of Reactive Systems %D 1995 %E Lewerentz, Claus %E Lindner, Thomas %I Springer %K dblp %P 229-245 %T KIV. %U http://dblp.uni-trier.de/db/conf/korso/korso1995fd.html#SchellhornB95 %V 891 %@ 3-540-58867-1

@incollection{conf/korso/SchellhornB95, added-at = {2017-05-22T00:00:00.000+0200}, author = {Schellhorn, Gerhard and Burandt, Axel}, biburl = {https://www.bibsonomy.org/bibtex/2ce154ecfd4f8773296b62cfc2a37caa1/dblp}, booktitle = {Formal Development of Reactive Systems}, crossref = {conf/korso/1995fd}, editor = {Lewerentz, Claus and Lindner, Thomas}, ee = {https://doi.org/10.1007/3-540-58867-1_57}, interhash = {7345113ff02492e47da211b008e11c5c}, intrahash = {ce154ecfd4f8773296b62cfc2a37caa1}, isbn = {3-540-58867-1}, keywords = {dblp}, pages = {229-245}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T11:54:13.000+0200}, title = {KIV.}, url = {http://dblp.uni-trier.de/db/conf/korso/korso1995fd.html#SchellhornB95}, volume = 891, year = 1995 }