Fulltext present in this item

Thumbnail
Fulltext: 159559.pdf
Format: PDF
Description: preprint version
Title: Enhancing Automata Learning by Log-Based Metrics
Author(s): Bos, P. van den ; Smetsers, R. ; Vaandrager, F.
Publication year: 2016
In: Lecture Notes in Computer Science, (2016)Ábrahám, E.; Huisman, M. (ed.), Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, pp. 295-310
Publisher: Cham : Springer International Publishing
ISBN: 9783319336930
ISSN: 0302-9743
DOI: https://doi.org/10.1007/978-3-319-33693-0_19
Publication type: Article in monograph or in proceedings

Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/159559   http://hdl.handle.net/2066/159559

Display more details
Editor(s): Ábrahám, E.; Huisman, M.
Subject: Software Science
Organization: Software Science
Journal title:
Lecture Notes in Computer Science
Book title: Ábrahám, E.; Huisman, M. (ed.), Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Page start: p. 295
Page end: p. 310

This item appears in the following Collection(s)

Browse

Statistics