Towards a Maude Formal Environment

Formal Modeling: Actors, Open Systems, Biological Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-24933-4_17 ◽

2011 ◽

pp. 329-351 ◽

Author(s):

Francisco Durán ◽

Camilo Rocha ◽

José María Álvarez

Download Full-text