This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability ...
Lee masThis two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lee masThis book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lee masThis two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Lee masThis two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Lee masThis is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
Lee mas