Micro-macro stack systems: A new frontier of decidability for sequential systems (2003)

by Nir Piterman
Venue:In 18th LICS, 381--390
Citations:2 - 2 self