%0 Conference Paper %1 conf/gait/WeberKMKJBEGBPFW99 %A Weber, Herbert %A Klar, Marcus %A Mann, Stefan %A Kutsche, Ralf-Detlef %A Jähnichen, Stefan %A Büssow, Robert %A Ehrig, Hartmut %A Geisler, Robert %A Baum, Gabriel %A Pons, Claudia %A Felder, Miguel %A Waldoke, Sergio %B German-Argentinian Workshop on Information Technology %D 1999 %E Jähnichen, Stefan %E Loiseau, Irene %K dblp %P 23-30 %T Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques. %U http://dblp.uni-trier.de/db/conf/gait/gait1999.html#WeberKMKJBEGBPFW99

@inproceedings{conf/gait/WeberKMKJBEGBPFW99, added-at = {2019-07-15T00:00:00.000+0200}, author = {Weber, Herbert and Klar, Marcus and Mann, Stefan and Kutsche, Ralf-Detlef and Jähnichen, Stefan and Büssow, Robert and Ehrig, Hartmut and Geisler, Robert and Baum, Gabriel and Pons, Claudia and Felder, Miguel and Waldoke, Sergio}, biburl = {https://www.bibsonomy.org/bibtex/2fcdf2003558edc0872ba86f75948e95e/dblp}, booktitle = {German-Argentinian Workshop on Information Technology}, crossref = {conf/gait/1999}, editor = {Jähnichen, Stefan and Loiseau, Irene}, interhash = {0557bda7d6dc5a852550b641bcd17e4f}, intrahash = {fcdf2003558edc0872ba86f75948e95e}, keywords = {dblp}, pages = {23-30}, timestamp = {2019-07-16T11:38:54.000+0200}, title = {Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques.}, url = {http://dblp.uni-trier.de/db/conf/gait/gait1999.html#WeberKMKJBEGBPFW99}, year = 1999 }