![Mathematical logic / Mathematics / Computation tree logic / Bisimulation / Kripke structure / Model theory / Equivalence relation / CTL* / Fair computational tree logic / Temporal logic / Logic in computer science / Theoretical computer science Mathematical logic / Mathematics / Computation tree logic / Bisimulation / Kripke structure / Model theory / Equivalence relation / CTL* / Fair computational tree logic / Temporal logic / Logic in computer science / Theoretical computer science](https://www.pdfsearch.io/img/21bbed1b270a918cff5263b6b16bb86f.jpg)
| Document Date: 2005-09-23 01:02:50 Open Document File Size: 173,57 KBShare Result on Facebook
City Austin / / Company TX 78712 Berkeley Labs / / Facility University of Texas / University of California / / IndustryTerm concurrent finite-state systems / / Organization University of California / Berkeley / Department of ECE / University of Texas / Department of EECS / / Person Felice Balarin† Vigyan Singhal / Alberto Sangiovanni-Vincentelli / Rabin / Robert Brayton / / ProvinceOrState Texas / California / /
SocialTag |