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] 



BibTeX: (download)

  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 (written by Patrick Riley) on Mon Dec 04, 2017 20:59:00