Proving properties of real-time systems through logical specifications and Petri Net models (1994)

Cached

Download Links

by Miguel Felder , Dino Mandrioli , Angelo Morzenti
Venue:IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Citations:32 - 11 self