A graphical interval logic for specifying concurrent systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Timing Diagrams: Formalization and Algorithmic Verification
Journal of Logic, Language and Information
Improving model checking with context modelling
Advances in Software Engineering
Hi-index | 0.00 |