Synthesis of mealy machines using derivatives (2006)

Cached

Download Links

by Helle Hvid Hansen , David Costa
Venue:In: Proceedings of CMCS 2006. ENTCS
Citations:9 - 5 self