%0 Conference Paper %1 lechner_95_objectoriented %A Lechner, Ulrike %A Lengauer, Christian %A Wirsing, Martin %B Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification %C London, UK %D 1995 %I Springer-Verlag %J Lecture Notes In Computer Science: Recent Trends in Data Type Specification %K 1995 _hardcopy maude refinement %P 351--367 %R 10.1007/BFb0014438 %T An object-oriented airport: Specification and refinement in Maude %U http://dx.doi.org/10.1007/BFb0014438 %V 906

@inproceedings{lechner_95_objectoriented, added-at = {2009-02-12T11:15:09.000+0100}, address = {London, UK}, author = {Lechner, Ulrike and Lengauer, Christian and Wirsing, Martin}, biburl = {https://www.bibsonomy.org/bibtex/290ac7b151c0976608a53416d49dbfc64/leonardo}, booktitle = {Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification}, citeulike-article-id = {1097134}, doi = {10.1007/BFb0014438}, interhash = {f115b4fb9eb45d1fd0e53bb99b1b8a72}, intrahash = {90ac7b151c0976608a53416d49dbfc64}, journal = {Lecture Notes In Computer Science: Recent Trends in Data Type Specification}, keywords = {1995 _hardcopy maude refinement}, pages = {351--367}, posted-at = {2007-02-09 16:03:30}, priority = {3}, publisher = {Springer-Verlag}, timestamp = {2009-02-12T11:15:09.000+0100}, title = {An object-oriented airport: Specification and refinement in Maude}, url = {http://dx.doi.org/10.1007/BFb0014438}, volume = 906, year = 1995 }