Modeling and verification of parallel processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures / Franck Cassez ... [et al.] (eds.)

Author	MOVEP 2000 (2000 : Nantes, France)
Title	Modeling and verification of parallel processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures / Franck Cassez ... [et al.] (eds.)
Imprint	Berlin : Springer, c2001
Descript	222 p. : ill. ; 24 cm

CONTENT

UPPAAL -- HMSCs -- Testing transition Systems -- Mobile Processes

SUBJECT

LOCATION	CALL#	STATUS
Central Library (4th Floor)	004.358 M935M	CHECK SHELVES

Office of Academic Resources
Chulalongkorn University

254 Phayathai Road, Pathumwan, Bangkok 10330 Thailand

Library Service 0-2218-2929, 0-2218-2927

Administrative Division 0-2218-2903

Fax. 0-2215-3617