%0 Conference Paper %1 conf/arts/GoldsackLD97 %A Goldsack, S. J. %A Lano, Kevin %A Dürr, Eugène %B ARTS %D 1997 %E Bertran, Miquel %E Rus, Teodor %I Springer %K dblp %P 310-324 %T Specification and Refinement of Continuous Real-Time Systems. %U http://dblp.uni-trier.de/db/conf/arts/arts1997.html#GoldsackLD97 %V 1231 %@ 3-540-63010-4

@inproceedings{conf/arts/GoldsackLD97, added-at = {2017-05-22T00:00:00.000+0200}, author = {Goldsack, S. J. and Lano, Kevin and Dürr, Eugène}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/25d2344f5761a6b5c54d9d6b2accc1a14/dblp}, booktitle = {ARTS}, crossref = {conf/arts/1997}, editor = {Bertran, Miquel and Rus, Teodor}, ee = {https://doi.org/10.1007/3-540-63010-4_21}, interhash = {870417ab97c71501f8cd9888ab803c0b}, intrahash = {5d2344f5761a6b5c54d9d6b2accc1a14}, isbn = {3-540-63010-4}, keywords = {dblp}, pages = {310-324}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T18:03:34.000+0200}, title = {Specification and Refinement of Continuous Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/conf/arts/arts1997.html#GoldsackLD97}, volume = 1231, year = 1997 }