Context constraints for compositional reachability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
An integrated method for effective behaviour analysis of distributed systems
ICSE '94 Proceedings of the 16th international conference on Software engineering
Tractable Dataflow Analysis for Distributed Systems
IEEE Transactions on Software Engineering
Generating BDDs for symbolic model checking in CCS
Distributed Computing
Hi-index | 0.00 |