SDL compiler for generating efficient protocol implementations. In: Dssouli, R.; Bochmann, G. v.; Lahav, Y. (eds.): SDL'99. The next Millennium. Proc. of the 9th SDL Forum, Montréal, Québec, Canada, Elsevier
/fg-rechnernetze/publikationen/archiv-2000-1989/1999

le SDL Compiler for Generating Efficient Protocol Implementations. In Dssouli, R.; Bochmann, G.; Lahav, Y.(eds.): SDL’99 The Next Millenium. Elsevier, 1999 P. Langendörfer, H. König: A Configurable Code
/fg-drahtlose-systeme/publikationen/begutachtete-konferenzen-und-workshops

aktion Mecklenburg-Vorpommern, März 2011, http://spd-fraktion-mv.de/ . URL UBICO Dunkelberg, E.; Lahav, D.; Weiß, J.; Hirschl, B. (2011): Evaluation des Klimaschutzinstruments Heizgutachten aus der He
/fg-energieversorgungsstrukturen/publikationen/konferenzbeitraege