libalf: the Automata Learning Framework - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Dates and versions

hal-00779934 , version 1 (22-01-2013)

Identifiers

Cite

Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, et al.. libalf: the Automata Learning Framework. Proceedings of the 22nd International Conference on Computer Aided Verification (CAV'10), 2010, Edinburgh, Scotland, UK, United Kingdom. pp.360-364, ⟨10.1007/978-3-642-14295-6_32⟩. ⟨hal-00779934⟩
120 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More