Verus: a tool for quantitative analysis of finite-state real-time systems (1995)

by S. Campos , E. Clarke , W. Marrero , M. Minea
Venue:In Proc. Workshop on Languages, Compilers and Tools for Real-Time Systems
Citations:28 - 10 self