Sign in

Compatible Eulerian circuits in Eulerian (di)graphs with generalized transition systems.

Zhiwei GuoXueliang LiChuandong XuShenggui Zhang
Published in: Discret. Math. (2018)
Keyphrases
  • transition systems
  • concurrent systems
  • temporal logic
  • model checking
  • finite state