top

Verifying modal formulae over I/O-automata by means of type theory.

M. Sellink. Verifying modal formulae over I/O-automata by means of type theory.. Utrecht University, 1994.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@TECHREPORT{sellink94:_verif_i_o,
  author = {M. Sellink},
  title = {Verifying modal formulae over I/O-automata by means of type theory.},
  institution = {Utrecht University},
  year = {1994},
  series = {Logic group preprint}
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:34