Conference Papers
Year : 2010
Stefan Haar : Connect in order to contact the contributor
https://inria.hal.science/hal-00779934
Submitted on : Tuesday, January 22, 2013-5:21:51 PM
Last modification on : Wednesday, April 19, 2023-4:22:44 AM
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⟩
Collections
120
View
0
Download