@techreport{0f8af1d0dbe7427c9437152dd2e65249,
title = "Model Checking the Branching Time Temporal Logic CTL",
keywords = "CTL, model cheching, PROD, reachability analysis, temporal logic, verification, CTL, model cheching, PROD, reachability analysis, temporal logic, verification, CTL, model cheching, PROD, reachability analysis, temporal logic, verification",
author = "K. Heljanko",
year = "1997",
language = "English",
series = "Series A: Research Reports",
publisher = "Helsinki University of Technology, Digital Systems Laboratory",
number = "A45",
type = "WorkingPaper",
institution = "Helsinki University of Technology, Digital Systems Laboratory",
}