formal techniques, modelling and analysis of timed and fault-tolerant systems: joint international conferences on formal modeling and analysis of time (en Inglés)

lakhnech, yassine · springer