Consistency verification in modeling of real-time systems Article

cited authors

  • Deng, Y; Wang, JC; Zhou, MC

publication date

  • February 2004

author keyword

category

Digital Object Identifier (DOI)

volume

  • 20

issue

  • 1

research area