مرکز منطقه ای اطلاع رساني علوم و فناوري - 2008 8th International Conference on Application of Concurrency to System Design June 23

DocumentCode :

2275449

Title :

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 :