Inproceedings,

The Open-Source LearnLib - A Framework for Active Automata Learning.

, , and .
CAV (1), volume 9206 of Lecture Notes in Computer Science, page 487-495. Springer, (2015)

Meta data

Tags

Users

  • @dblp

Comments and Reviews