An object-oriented airport: Specification and refinement in Maude
U. Lechner, C. Lengauer, und 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, Seite 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
Jahr
1995
Zeitschrift
Lecture Notes In Computer Science: Recent Trends in Data Type Specification
Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%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
}