Publications 1997

Main content

  • Abdelwaheb Ayari and David Basin and Andreas Podelski.
    LISA: A Specification Language Based on WS2S.
    In 11th International Conference of the European Association for Computer Science Logic (CSL '97).LNCS, 1414. Springer-Verlag, 1997.
    [BibTeX (TXT, 1 KB) | gzip'ed Postscript (GZ, 107 KB)]
  • David Basin and Seán Matthews and Luca Viganò.
    A New Method for Bounding the Complexity of Modal Logics
    .
    In Computational Logic and Proof Theory (Proceedings of the 5th Kurt Gödel Colloquium, KGC'97). LNCS 1289 Springer-Verlag, 1997.
    [abstract (TXT, 653 Bytes) | BibTeX (BIB, 1 KB)]
  • David Basin and Seán Matthews and Luca Viganò.
    Labelled Quantified Modal Logics
    .
    In Proceedings of KI'97 (21st German Annual Conference on Artificial Intelligence). LNAI 1303 Springer-Verlag, 1997.
    [abstract (TXT, 630 Bytes) | BibTeX (BIB, 1 KB)]
 
Page URL: http://www.infsec.ethz.ch/research/publications/pub1997.html
Fri May 26 05:43:08 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich