Number of items: 1.
Conference or Workshop Item (A Paper)
Majumdar, Rupak and Saha, Indranil and Ueda, Koichi and Yazarel, Hakan
(2013)
Compositional Equivalence Checking for Models and Code of Control Systems.
This list was generated on Fri Apr 19 05:39:50 2024 CEST.