Construction of Real-Time Oracle Using Timed Automata

None

Saved in:

Bibliographic Details
Main Authors:	Babamir, Seyed Morteza, Dehkordi, Mehdi Borhani
Format:	Electronic Book Chapter
Language:	English
Published:	IntechOpen 2012
Subjects:	Physical Sciences, Engineering and Technology
Online Access:	https://www.intechopen.com/chapters/35319
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet