LearnLib Tutorial: From Finite Automata to Register Interface Programs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

LearnLib Tutorial: From Finite Automata to Register Interface Programs

Dates et versions

hal-00767425 , version 1 (19-12-2012)

Identifiants

Citer

Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen. LearnLib Tutorial: From Finite Automata to Register Interface Programs. ISoLa 2012, 2012, Heraklion, Greece. ⟨10.1007/978-3-642-34026-0_43⟩. ⟨hal-00767425⟩

Collections

CONNECT
42 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More