Verification of Reactive Systems (search Google Scholar)
K. Schneider. Verification of Reactive Systems. Springer-Verlag, 2004.
URL
http://www.springeronline.com/sgw/cda/frontpage/010735
5-40109-22-2271648-0,00.html
5-40109-22-2271648-0,00.html
Comment this article in the wiki!
BibTeX
@Book{Schneider:2004:ReactiveVerify,
author = "Klaus Schneider",
publisher = "Springer-Verlag",
title = "Verification of Reactive Systems",
topic = "Formal Models",
URL = "http://www.springeronline.com/sgw/cda/frontpage/0,10735,5-40109-22-2271648-0,00.html",
year = "2004",
modified = "0",
}