Skip to Main content Skip to Navigation
Conference papers

libalf: the Automata Learning Framework

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00779934
Contributor : Stefan Haar <>
Submitted on : Tuesday, January 22, 2013 - 5:21:51 PM
Last modification on : Monday, February 15, 2021 - 10:48:49 AM

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Record views

434