Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach Journal Article uri icon

Overview

publication date

  • June 1, 2021

has restriction

  • green

Date in CU Experts

  • January 30, 2021 7:23 AM

Full Author List

  • Saoud A; Jagtap P; Zamani M; Girard A

author count

  • 4

citation count

  • 4

Other Profiles

International Standard Serial Number (ISSN)

  • 2325-5870

Electronic International Standard Serial Number (EISSN)

  • 2372-2533

Additional Document Info

start page

  • 702

end page

  • 712

volume

  • 8

issue

  • 2