Modal Logic as a Design Notation (position paper)

C. Areces, M. Felder, D. Hirsch, and D. Yankelevich. Modal Logic as a Design Notation (position paper). In Proceedings of the 9th International Workshop on Software Specification and Design (IWSSD9), pp. 150–152, Ise-Shima, Japan, April 1998.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{arec:moda98a,
  author = {C. Areces and M. Felder and D. Hirsch and D. Yankelevich},
  title = {Modal Logic as a Design Notation (position paper)},
  booktitle = {Proceedings of the 9th International Workshop on Software Specification
	and Design (IWSSD9)},
  year = {1998},
  pages = {150--152},
  address = {Ise-Shima, Japan},
  month = {April},
  owner = {areces},
  timestamp = {2016.09.30}
}

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