Weak bisimilarity with infinite-state systems can be decided in polynomial time (1999)

Cached

Download Links

by Antonín Kučera , Richard Mayr
Venue:In Proc. of CONCUR'99, volume 1664 of LNCS
Citations:7 - 4 self