Active Automata Learning: from L∗ to L#

Thumbnail
Fulltext:
240046.pdf
Size:
108.9Kb
Format:
PDF
Description:
Publisher’s version
Download
Publication year
2021
Author(s)
Vaandrager, F.
Publisher
Wien : Academic Press
ISBN
9783854480464
In
Formal Methods in Computer-Aided Design, (2021)Piskac, R. (ed.), FMCAD 2021: PROCEEDINGS OF THE 21ST CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN, October 18 - October 22, 2021, pp. 9
ISSN
DOI
Annotation
FMCAD 2021
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/240046   https://hdl.handle.net/2066/240046
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.