Efficient Detection of Vacuity in Temporal Model Checking
Formal Methods in System Design - Special issue on CAV '97
An algebraic theory for behavioral modeling and protocol synthesis in system design
Formal Methods in System Design
Behavioral type inference: part I - algebraic theory for bahavioral type inference
Formal methods and models for system design
Behavioral type inference: part II - behavioral type inference for system design
Formal methods and models for system design
A compositional behavioral modeling framework for embedded system design and conformance checking
International Journal of Parallel Programming
Information and Computation
Deadlock free specification based on local process properties
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartIII
| Hi-index | 0.00 |