Presentica
PRESENTATIONS
CONTACT
LOGIN
Upload File
Beth Morales
@beth
/
Editor
/
United States
1 Uploads
Presentations (1)
Timed Automata, Timed Computation Tree Logic and CTL Models for Real Time Systems.
Previous
1