PDF-LinearTime Temporal Logic and Buchi Automata Madhavan Mukund SPIC Mathematical Institute G N Chetty Road Madras India Email madhavanssf
ernetin Abstract Over the past two decades temporal logic has become a very ba sic tool for spec ifying properties of reactive systems For 64257nitestate sys tems
Download Presentation
"LinearTime Temporal Logic and Buchi Automata Madhavan Mukund…" is the property of its rightful owner. Permission is granted to download and print materials on this website for personal, non-commercial use only, provided you retain all copyright notices. By downloading content from our website, you accept the terms of this agreement.
Presentation Transcript
Transcript not available.