Decidability of parameterized verification /

Bibliographic Details
Main Authors:	Bloem, Roderick P. (Author), Jacobs, Swen (Author), Khalimov, Ayrat (Author), Konnov, Igor, 1958- (Author), Rubin, Sasha (Author), Veith, Helmut (Author), Widder, Josef (Author)
Format:	eBook
Language:	English
Published:	San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2015.
Series:	Synthesis lectures on distributed computing theory ; # 13.
Subjects:	Computer software > Verification. Electronic data processing > Distributed processing. concurrent systems cutoffs decidability distributed systems formal verification model checking parametrized model checking Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online