An object-oriented airport: Specification and refinement in Maude
U. Lechner, C. Lengauer, and M. Wirsing. 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, 906, page 351--367. London, UK, Springer-Verlag, (1995)
DOI: 10.1007/BFb0014438
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
year
1995
journal
Lecture Notes In Computer Science: Recent Trends in Data Type Specification
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}