Items where Author is "Niqui, Milad"

Number of items: 1.
Other
  • Modular Development of Hybrid Systems for Verification in Coq. (2008) Milad Niqui and Olga Tveretina
    • This list was generated on Tue Jul 21 01:53:32 2026 BST.