Details for the publication JansenW02.

David N. Jansen (), Roel J. Wieringa: Extending CTL with Actions and Real Time. In J. Log. Comput. 12(4):607-621, 2002. DOI BIB