Executing E-LOTOS processes in Maude (2000)

Cached

Download Links

by Alberto Verdejo , Narciso Martí-oliet , Dpto Sistemas , Informáticos Programación
Venue:INT 2000, Integration of Specication Techniques with Applications in Engineering, Extended Abstracts Technical report 2000/04, Technische Universitat Berlin, March 2000
Citations:4 - 1 self