%0 Conference Paper %1 conf/caap/BoudolL90 %A Boudol, Gérard %A Larsen, Kim Guldstrand %B CAAP %D 1990 %E Arnold, André %I Springer %K dblp %P 57-71 %T Graphical versus Logical Specifications. %U http://dblp.uni-trier.de/db/conf/caap/caap90.html#BoudolL90 %V 431 %@ 3-540-52590-4

@inproceedings{conf/caap/BoudolL90, added-at = {2017-05-19T00:00:00.000+0200}, author = {Boudol, Gérard and Larsen, Kim Guldstrand}, biburl = {https://www.bibsonomy.org/bibtex/2fa38ad84e605b7820c4e218c84466352/dblp}, booktitle = {CAAP}, crossref = {conf/caap/1990}, editor = {Arnold, André}, ee = {https://doi.org/10.1007/3-540-52590-4_40}, interhash = {7adf7adbd66ca721dd3326d6fea1eb9b}, intrahash = {fa38ad84e605b7820c4e218c84466352}, isbn = {3-540-52590-4}, keywords = {dblp}, pages = {57-71}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:17:20.000+0200}, title = {Graphical versus Logical Specifications.}, url = {http://dblp.uni-trier.de/db/conf/caap/caap90.html#BoudolL90}, volume = 431, year = 1990 }