INCREMENTAL AUTOMATA VERIFICATION

Saved in:
Bibliographic Details
Main Authors PELICAN, MICHAEL, J, GOLDMAN, ROBERT, P, MUSLINER, DAVID, J
Format Patent
LanguageEnglish
French
Published 19.02.2004
Edition7
Subjects
CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
Online AccessGet full text

Cover

More Information
Bibliography:Application Number: WO2002US34429