@incollection{Dehkordi12,
author = {Seyed Morteza Babamir and Mehdi Borhani Dehkordi},
title = {Construction of Real-Time Oracle Using Timed Automata},
booktitle = {Real-Time Systems, Architecture, Scheduling, and Application},
publisher = {IntechOpen},
address = {Rijeka},
year = {2012},
editor = {Seyed Morteza Babamir},
chapter = {6},
doi = {10.5772/45597},
url = {https://doi.org/10.5772/45597}
}