%0 Conference Paper %1 conf/icse/FriesenJW97 %A Friesen, Viktor %A Jähnichen, Stefan %A Weber, Matthias %B ICSE %D 1997 %E Adrion, W. Richards %E Fuggetta, Alfonso %E Taylor, Richard N. %E Wasserman, Anthony I. %I ACM %K %P 315-325 %T Specification of Software Controlling a Discrete-Continuous Environment. %U http://dblp.uni-trier.de/db/conf/icse/icse97.html#FriesenJW97 %@ 0-89791-914-9

@inproceedings{conf/icse/FriesenJW97, added-at = {2023-12-13T09:23:27.000+0100}, author = {Friesen, Viktor and Jähnichen, Stefan and Weber, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/2876803efd7570104b9b09eab5d4724e6/admin}, booktitle = {ICSE}, crossref = {conf/icse/1997}, editor = {Adrion, W. Richards and Fuggetta, Alfonso and Taylor, Richard N. and Wasserman, Anthony I.}, ee = {https://doi.org/10.1145/253228.253297}, interhash = {cdc7f2ef812c47758325dd294028f57b}, intrahash = {876803efd7570104b9b09eab5d4724e6}, isbn = {0-89791-914-9}, keywords = {}, pages = {315-325}, publisher = {ACM}, timestamp = {2023-12-13T09:23:27.000+0100}, title = {Specification of Software Controlling a Discrete-Continuous Environment.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse97.html#FriesenJW97}, year = 1997 }