Formal methods for industrial critical systems. Selected papers of the 2nd international workshop, Cesena, Italy, July 4--5, 1997
The articles of this volume will be reviewed individually.
scientific article; zbMATH DE number 1309024