2008 8th International Conference on Application of Concurrency to System Design June 23–27, 2008 Xi’an, China [front matter]

fYear

2008

fDate

23-27 June 2008

Abstract

The following topics are dealt with: concurrency theory; system design; model checking; graph theory.

Keywords

concurrency theory; formal verification; graph theory; systems analysis; concurrency theory; graph theory; model checking; system design;

fLanguage

English

Publisher

ieee

Conference_Titel

Application of Concurrency to System Design, 2008. ACSD 2008. 8th International Conference on

Conference_Location

Xian

ISSN

1550-4808

Print_ISBN

978-1-4244-1838-1

Type

conf

DOI

10.1109/ACSD.2008.4574617

Filename

4574617

Link To Document