Dynamic changes in concurrent systems : modelling and verification

Bibliographic Details
Main Author: Badouel, Eric (Author)
Other Involved Persons: Oliver, Javier
Format: Book
Language:English
Published: Rennes : IRISA 1999
Series:Institut de Recherche en Informatique et Systèmes Aléatoires. Publications internes 1252
Physical Description:37 Bl. graph. Darst.
QR Code: Show QR Code