dblp.uni-trier.de www.uni-trier.de

6. FORTE 1993: Boston, MA, USA

Richard L. Tenney, Paul D. Amer, M. Ümit Uyar (Eds.): Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993. IFIP Transactions C-22 North-Holland 1994, ISBN 0-444-81773-5 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
@proceedings{DBLP:conf/forte/1993,
  editor    = {Richard L. Tenney and
               Paul D. Amer and
               M. {\"U}mit Uyar},
  title     = {Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1
               Sixth International Conference on Formal Description Techniques
               - FORTE '93, Boston, MA, USA, 26-29 October 1993},
  booktitle = {FORTE},
  publisher = {North-Holland},
  series    = {IFIP Transactions},
  volume    = {C-22},
  year      = {1994},
  isbn      = {0-444-81773-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Verification

LOTOS

Invited Talk

Automata and Estelle

Industrial Reports

Time and Algebra

Testing

Protocols and Formal Specification

Timed-LOTOS

Copyright © Mon Nov 2 20:36:53 2009 by Michael Ley (ley@uni-trier.de)