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

DocumentCode :

3144940

Title :

[Publisher´s information]

fYear :

2006

fDate :

15-19 Nov. 2006

Firstpage :

478

Lastpage :

478

Abstract :

Provides a listing of current committee members and society officers.

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.75

Filename :

4463752

Link To Document :