 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen 
|
Hilfe 
|
 |
|
| Suche: Author="Vo{\ss}, A." |
|
On implementations of loose abstract data type specifications and their vertical composition
C. Beierle, A. Voß
Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)
Lecture Notes in Computer Science
247
, 1987, pp. 245-259
| Editors | F.J. Brandenburg, G. Vidal-Naquet, M. Wirsing | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong | |
| Organization: | GI, afcet | |
| URL: |
http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=245 | |
|
|
|
|