%0 Conference Paper %1 conf/icse/LauberBGS79 %A Lauber, Rudolf %A Biewald, Joachim %A Göhner, Peter %A Schelling, H. %B ICSE %D 1979 %E Bauer, Friedrich L. %E Stucki, Leon G. %E Lehman, Meir M. %I IEEE Computer Society %K dblp %P 245-250 %T EPOS : A Specification and Design Technique for Computer Controlled Real-time Automation Systems. %U http://dblp.uni-trier.de/db/conf/icse/icse79.html#LauberBGS79

@inproceedings{conf/icse/LauberBGS79, added-at = {2012-05-14T00:00:00.000+0200}, author = {Lauber, Rudolf and Biewald, Joachim and Göhner, Peter and Schelling, H.}, biburl = {https://www.bibsonomy.org/bibtex/2a7d6f475e495fafa07cf97b262a2d0a4/dblp}, booktitle = {ICSE}, crossref = {conf/icse/1979}, editor = {Bauer, Friedrich L. and Stucki, Leon G. and Lehman, Meir M.}, ee = {http://dl.acm.org/citation.cfm?id=802945}, interhash = {2038b8091aa314fbc75fe370f56a5e38}, intrahash = {a7d6f475e495fafa07cf97b262a2d0a4}, keywords = {dblp}, pages = {245-250}, publisher = {IEEE Computer Society}, timestamp = {2012-05-15T11:44:33.000+0200}, title = {EPOS : A Specification and Design Technique for Computer Controlled Real-time Automation Systems.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse79.html#LauberBGS79}, year = 1979 }