Modeling and testing object-oriented distributed systems with linear-time temporal logic


Published in:
Concurrency and Computation: Practice and Experience, 13, 5, 385-420
Year:
2001
Other identifiers:
Laboratories:




 Record created 2004-08-31, last modified 2019-09-09

n/a:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)