|
|
More Information:
- 2001-2002, from St. Francis Xavior Univ., Nova Scotia
2003:
- M. Chechik and W. MacCaull.
``CTL Model-Checking Over Logics with Non-Classical Negations'', in Proceedings of 33rd IEEE International Conference on Multi-Valued Logics (ISMVL'03), pp. 293-300, May, 2003
PS
PDF
Abstract
2002:
- M. Chechik and W. MacCaull.
``On Model-Checking over Logics with Non-Classical Negations'', CSRG Technical Report, Department of Computer Science, University of Toronto, October, 2002
PS
PDF
Abstract
|
