DMCA

Well-Abstracted Transition Systems: Application to FIFO Automata (2000)

Cached

Download Links

by Alain Finkel , S. Purushothaman Iyer
Citations:17 - 6 self