AuthorRance CleavelandA. RoscoeScott Smolka Year of Publication2018 Book TitleHandbook of Model Checking. Number of Pages1149–1195 URLhttps://doi.org/10.1007/978-3-319-10575-8\_32 DOI10.1007/978-3-319-10575-8\_32 DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS
