Compositional Synthesis of Symbolic Models for Infinite Networks Conference Proceeding uri icon

Overview

publication date

  • July 11, 2020

Date in CU Experts

  • June 18, 2021 3:10 AM

Full Author List

  • Swikir A; Noroozi N; Zamani M

author count

  • 3

citation count

  • 1

Other Profiles

International Standard Serial Number (ISSN)

  • 2405-8963

Additional Document Info

start page

  • 1868

end page

  • 1873

volume

  • 53

issue

  • 2