Modelling and verification of parallel processes /
ed by Cassez,Frank
Modelling and verification of parallel processes / ed by Cassez,Frank. - 4th Summer school - Berlin: Springer, 2001. - x,223p;243cm - LNCS 2067 .
Includes bibliographical references.
3540427872
004 LEC
Modelling and verification of parallel processes / ed by Cassez,Frank. - 4th Summer school - Berlin: Springer, 2001. - x,223p;243cm - LNCS 2067 .
Includes bibliographical references.
3540427872
004 LEC