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)