TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 2.

Conference or Workshop Item

Johnsen, Einar Broch and Hähnle, Reiner and Schäfer, Jan and Schlatte, Rudolf and Steffen, Martin
Aichernig, Bernhard K. and de Boer, Frank S. and Bonsangue, Marcello M. (eds.) (2010):
ABS: A Core Language for Abstract Behavioral Specification.
Springer, In: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers, In: Lecture Notes in Computer Science, 6957, DOI: 10.1007/978-3-642-25271-6₈,
[Online-Edition: https://doi.org/10.1007/978-3-642-25271-6_8],
[Conference or Workshop Item]

Clarke, Dave and Muschevici, Radu and Proenca, Jose and Schaefer, Ina and Schlatte, Rudolf
Aichernig, Bernhard K. and de Boer, Frank S. and Bonsangue, Marcello M. (eds.) (2010):
Variability Modelling in the ABS Language.
Springer, In: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers, In: Lecture Notes in Computer Science, 6957, DOI: 10.1007/978-3-642-25271-6₁₁,
[Online-Edition: https://doi.org/10.1007/978-3-642-25271-6_11],
[Conference or Workshop Item]

This list was generated on Sat Nov 9 00:30:27 2019 CET.