%0 Conference Paper %1 conf/fase/GrieskampHD98 %A Grieskamp, Wolfgang %A Heisel, Maritta %A Dörr, Heiko %B FASE %D 1998 %E Astesiano, Egidio %I Springer %K dblp %P 88-106 %T Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components. %U http://dblp.uni-trier.de/db/conf/fase/fase98.html#GrieskampHD98 %V 1382 %@ 3-540-64303-6

@inproceedings{conf/fase/GrieskampHD98, added-at = {2019-08-08T00:00:00.000+0200}, author = {Grieskamp, Wolfgang and Heisel, Maritta and Dörr, Heiko}, biburl = {https://www.bibsonomy.org/bibtex/2f59393759745ad7583351d818a34620b/dblp}, booktitle = {FASE}, crossref = {conf/fase/1998}, editor = {Astesiano, Egidio}, ee = {https://doi.org/10.1007/BFb0053585}, interhash = {185a8028adafdccff7c893787a199d0c}, intrahash = {f59393759745ad7583351d818a34620b}, isbn = {3-540-64303-6}, keywords = {dblp}, pages = {88-106}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-10T11:47:42.000+0200}, title = {Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components.}, url = {http://dblp.uni-trier.de/db/conf/fase/fase98.html#GrieskampHD98}, volume = 1382, year = 1998 }