Modal Logic as a Design Notation

Areces, C., Felder, M., Hirsch, D., and Yankelevich, D.. Modal Logic as a Design Notation. In Proceedings of the 1st KIT125 Workshop, pp. 93–108, Como, Italy, 1997.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{arec:moda97,
  author = {Areces, C. and Felder, M. and Hirsch, D. and Yankelevich, D.},
  title = {Modal Logic as a Design Notation},
  booktitle = {Proceedings of the 1st KIT125 Workshop},
  year = {1997},
  pages = {93--108},
  address = {Como, Italy},
}

Generated by bib2html.pl (written by Patrick Riley) on Sun Oct 02, 2016 17:05:49