Efficient Diagnostic Generation for Boolean Equation Systems
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Bisimulation for labelled Markov processes
Information and Computation - Special issue: LICS'97
Generating diagnostic information for behavioral preorders
Distributed Computing
Diagnosing Differences between Business Process Models
BPM '08 Proceedings of the 6th International Conference on Business Process Management
A methodology based on formal methods for predicting the impact of dynamic power management
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
Hi-index | 0.00 |