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

Publications

related documents

Symbolic model checking of hybrid systems using template polyhedra Conference Proceeding