Dealing with practical limitations of distributed timed model checking (2006)

Cached

Download Links

by V. Braberman , A. Olivero , F. Schapachnik
Venue:Formal Methods in System Design
Citations:2 - 0 self