Skip to content
cs-conference-ranking
.org
By subfield
By rank
Methodology
⌕
Search 971 venues
Home
/
WSC
/
Paper
Proving temporal properties of hybrid systems.
Sanjai Narain
,
Jeff Rothenberg
Venue
National
WSC
Year
1990
Proceedings
WSC
DBLP record
conf/wsc/NarainR90 ↗
Browse the full
WSC paper archive
.