Cited By
View all- Hähnle R(2012)The Abstract Behavioral Specification LanguageRevised Lectures of the 11th International Symposium on Formal Methods for Components and Objects - Volume 786610.1007/978-3-642-40615-7_1(1-37)Online publication date: 24-Sep-2012