General Quantitative Specification Theories with Modalities

Computer Science – Theory and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-642-30642-6_3 ◽

2012 ◽

pp. 18-30 ◽

Cited By ~ 11

Author(s):

Sebastian S. Bauer ◽

Uli Fahrenberg ◽

Axel Legay ◽

Claus Thrane

Download Full-text