Linear temporal logic as an executable s
β
Marta Cialdea Mayer; Carla Limongelli; Andrea Orlandini; Valentina Poggioni
π
Article
π
2006
π
Springer Netherlands
π
English
β 301 KB