%0 Conference Paper %1 conf/forte/MorkGHS96 %A Mørk, Simon %A Godskesen, Jens Chr. %A Hansen, Michael R. %A Sharp, Robin %B FORTE %D 1996 %E Gotzhein, Reinhard %E Bredereke, Jan %I Chapman & Hall %K dblp %P 295-309 %T A Timed Semantics for SDL. %U http://dblp.uni-trier.de/db/conf/forte/forte1996.html#MorkGHS96 %V 69 %@ 0-412-79490-X

@inproceedings{conf/forte/MorkGHS96, added-at = {2002-01-03T00:00:00.000+0100}, author = {Mørk, Simon and Godskesen, Jens Chr. and Hansen, Michael R. and Sharp, Robin}, biburl = {https://www.bibsonomy.org/bibtex/26846064e6df5e54dc8654e1dac4b9b9a/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1996}, date = {2002-01-03}, description = {dblp}, editor = {Gotzhein, Reinhard and Bredereke, Jan}, interhash = {c2ca972c365935dd6f8b969174267a56}, intrahash = {6846064e6df5e54dc8654e1dac4b9b9a}, isbn = {0-412-79490-X}, keywords = {dblp}, pages = {295-309}, publisher = {Chapman & Hall}, series = {IFIP Conference Proceedings}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {A Timed Semantics for SDL.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1996.html#MorkGHS96}, volume = 69, year = 1996 }