Reachability analysis of real-time systems using time Petri nets Article

cited authors

  • Wang, JC; Deng, Y; Xu, G

publication date

  • October 2000

author keyword

category

Digital Object Identifier (DOI)

volume

  • 30

issue

  • 5

research area