?
3
Formal Modeling and Analysis of Timed Systems: 20th Interna..
Lecture Notes in Computer Science, 13465
?
4
Tools and Algorithms for the Construction and Analysis of S..
Theoretical Computer Science and General Issues, 12079
?
5
Tools and Algorithms for the Construction and Analysis of S..
Theoretical Computer Science and General Issues, 12078
?
6
Quantitative Evaluation of Systems: 16th International Conf..
Theoretical Computer Science and General Issues, 11785