CITATION STYLE
Konikowska, B., & Penczek, W. (2003). Model Checking for Multi-valued Computation Tree Logics (pp. 193–210). https://doi.org/10.1007/978-3-7908-1769-0_8
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley