@BOOK{ Book!D - 100997285,
AUTHOR = "/ by Nicolas Halbwachs",
TITLE = "Synchronous programming of reactive systems",
LIBRARY= "كتابخانه پردیس علوم (دانشگاه تهران)",
SUBJECT = "Real-time programming,Programming languages (Electronic computers)",
URL = "/book/100997285/Synchronous-programming-of-reactive-systems/"}