Real-Time Maude: A Tool for Simulating a
β
Peter Csaba ΓΆlveczky; JosΓ© Meseguer
π
Article
π
2000
π
Elsevier Science
π
English
β 197 KB