DMCA

Regular inference for state machines with parameters (2006)

Cached

Download Links

by Therese Berg , Bengt Jonsson , Harald Raffelt
Venue:In FASE
Citations:27 - 6 self