CITATION STYLE
Zucker, J. (1993). Propositional temporal logics and their use in model checking (pp. 108–116). https://doi.org/10.1007/3-540-56883-2_6
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley