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

1. ACSD 1998: Fukushima, Japan

1st International Conference on Application of Concurrency to System Design (ACSD '98), 23-26 March 1998, Fukushima, Japan. IEEE Computer Society 1998, ISBN 0-8186-8350-3 BibTeX
@proceedings{DBLP:conf/acsd/1998,
  title     = {1st International Conference on Application of Concurrency to
               System Design (ACSD '98), 23-26 March 1998, Fukushima, Japan},
  booktitle = {ACSD},
  publisher = {IEEE Computer Society},
  year      = {1998},
  isbn      = {0-8186-8350-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Tutorial Papers

Hierarchical Models

Hierarchical Verification

Systems with Timing

PN-Based Verification

High-Level Nets

Hardware Verification

Algebraic Models and Languages

Case Studies

Copyright © Sat May 16 22:56:12 2009 by Michael Ley (ley@uni-trier.de)