On Time Actors

Theory and Practice of Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-30734-3_25 ◽

2016 ◽

pp. 373-392 ◽

Cited By ~ 10

Author(s):

Marjan Sirjani ◽

Ehsan Khamespanah

Download Full-text