DMCA

Regular inference for state machines using domains with equality tests (2008)

Cached

Download Links

by Therese Berg , Bengt Jonsson , Harald Raffelt
Venue:In Fundamental Approaches to Software Engineering
Citations:22 - 5 self