Old Web
English
Sign In
Acemap
>
Paper
>
Automatic verification of real-time designs
Automatic verification of real-time designs
1999
Braberman
Felder
Keywords:
Automata theory
Formal verification
Distributed computing
Scheduling (production processes)
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
1
Citations
NaN
KQI
[]