Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems

Authors:
Bernhard Steffen
Affiliations:
-
Venue:
TACAS '98 Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Year:
1998

Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification

PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Constructing Test Automata from Graphical Real-Time Requirements

FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2

Hi-index	0.01