Fairtlough, M. ; Mendler, Michael:
An intuitionistic modal logic with applications to the formal verification of hardware
.
In: Pacholski, L. ; Tiuryn, J. (Hrsg.) : Proceedings of the 1994 Annual Conference of the European Association for Computer Science Logic.
Berlin u. a. : Springer, 1995, S. 354-368. (LNCS Bd. 933)
|