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.

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.
In: Lecture Notes in Computer Science, 6957, pp. 142-164, Springer, Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers, DOI: 10.1007/978-3-642-25271-6₈,
[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.
In: Lecture Notes in Computer Science, 6957, pp. 204-224, Springer, Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers, DOI: 10.1007/978-3-642-25271-6₁₁,
[Conference or Workshop Item]

This list was generated on Sat Jan 23 01:42:34 2021 CET.