Normal view
MARC view
Cassez, Franck, 1967- (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): MOVEP 2000 (2000 : Nantes, France) 15846, Modeling and verification of parallel processes :, ©2001.