Verification of Embedded Systems using a Petri Net based Representation (2000)

Cached

Download Links

by Luis Alejandro Cortes , Luis Alej , Ro Corts , Petru Eles , Zebo Peng
Venue:in Proc. ISSS, 2000
Citations:32 - 12 self