Analysis and Verification of Real-Time Systems using Quantitative Symbolic Algorithms (1999)

Cached

Download Links

by Sérgio Vale Aguiar Campos , Edmund Clarke
Venue:JOURNAL OF SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
Citations:9 - 0 self