LearnLib Tutorial: From Finite Automata to Register Interface Programs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Dates and versions

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

Identifiers

Cite

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
41 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More