This book constitutes the refereed proceedings of the 4th International Conference on Reliability...
Research on theoretical aspects of computing has a direct impact on the pr- tice of computer syst...
This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers ...
This book constitutes the proceedings of the 29th International Conference on Formal Methods for ...
This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains pape...
This book constitutes the proceedings of the 29th International Conference on Formal Methods f...
This book constitutes the refereed proceedings of the 4th International Conference on Reliability...
Research on theoretical aspects of computing has a direct impact on the pr- tice of computer syst...