%0 Conference Paper %1 conf/ekaw/GeldofS94 %A Geldof, Sabine %A Slodzian, Aurélien %B EKAW %D 1994 %E Steels, Luc %E Schreiber, Guus %E de Velde, Walter Van %I Springer %K dblp %P 226-243 %T From Verification to Modelling Guidelines. %U http://dblp.uni-trier.de/db/conf/ekaw/ekaw1994.html#GeldofS94 %V 867 %@ 3-540-58487-0

@inproceedings{conf/ekaw/GeldofS94, added-at = {2017-05-20T00:00:00.000+0200}, author = {Geldof, Sabine and Slodzian, Aurélien}, biburl = {https://www.bibsonomy.org/bibtex/2d3a156530e744917093e707e21311830/dblp}, booktitle = {EKAW}, crossref = {conf/ekaw/1994}, editor = {Steels, Luc and Schreiber, Guus and de Velde, Walter Van}, ee = {https://doi.org/10.1007/3-540-58487-0_12}, interhash = {446a34e5d52b9206740ae49b7834d295}, intrahash = {d3a156530e744917093e707e21311830}, isbn = {3-540-58487-0}, keywords = {dblp}, pages = {226-243}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:44:18.000+0200}, title = {From Verification to Modelling Guidelines.}, url = {http://dblp.uni-trier.de/db/conf/ekaw/ekaw1994.html#GeldofS94}, volume = 867, year = 1994 }