Author:
Dell’Amico Matteo,Cerioli Maura
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. CoFI (The Common Framework Initiative). In: Mosses, P.D. (ed.) CASL Reference Manual. LNCS (IFIP Series), vol. 2960, Springer, Heidelberg (2004)
2. Lecture Notes in Computer Science;L. Schröder,2002
3. Lecture Notes in Computer Science;H. Baumeister,2000
4. Reggio, G., Astesiano, E., Choppy, C.: Casl-Ltl: A Casl extension for dynamic reactive systems – Version 1.0 – Summary. Technical Report DISI-TR-03-36, Univ. of Genova (2003)
5. Costa, G., Reggio, G.: Specification of abstract dynamic-data types: A temporal logic approach. TCS 173(2), 513–554 (1997)