Construction of Real-Time Oracle Using Timed Automata

None

שמור ב:
מידע ביבליוגרפי
Main Authors: Babamir, Seyed Morteza, Dehkordi, Mehdi Borhani
פורמט: אלקטרוני Book Chapter
שפה:אנגלית
יצא לאור: IntechOpen 2012
נושאים:
גישה מקוונת:https://www.intechopen.com/chapters/35319
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!