Model Checking of RegCTL

Tomás Brázdil, Ivana Cerná. Model Checking of RegCTL. Computers and Artificial Intelligence, 25(1):81-97, 2006.

Abstract

Abstract is missing.