مرکز منطقه ای اطلاع رساني علوم و فناوري

DocumentCode :

3144926

Title :

Author index

fYear :

2006

fDate :

15-19 Nov. 2006

Firstpage :

475

Lastpage :

476

Abstract :

The author index contains an entry for each author and coauthor included in the proceedings record.

fLanguage :

English

Publisher :

ieee

Conference_Titel :

Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on

Conference_Location :

Paphos

Print_ISBN :

978-0-7695-3071-0

Type :

conf

DOI :

10.1109/ISoLA.2006.74

Filename :

4463751

Link To Document :