Specifying Real-Time Finite-State System
β
Max I. Kanovich; Mitsuhiro Okada; Andre Scedrov
π
Article
π
1998
π
Elsevier Science
π
English
β 1008 KB