Sciweavers

CODES
1999
IEEE
14 years 3 months ago
Worst-case analysis of discrete systems based on conditional abstractions
se Analysis of Discrete Systems Based on Conditional Abstractions Felice Balarin Cadence Berkeley Laboratories
Felice Balarin