%0 Conference Paper %1 conf/tacas/LiSTCX19 %A Li, Yong %A Sun, Xuechao %A Turrini, Andrea %A Chen, Yu-Fang %A Xu, Junnan %B TACAS (1) %D 2019 %E Vojnar, Tomás %E Zhang, Lijun %I Springer %K dblp %P 365-371 %T ROLL 1.0: -Regular Language Learning Library. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2019-1.html#LiSTCX19 %V 11427 %@ 978-3-030-17462-0

@inproceedings{conf/tacas/LiSTCX19, added-at = {2021-12-23T00:00:00.000+0100}, author = {Li, Yong and Sun, Xuechao and Turrini, Andrea and Chen, Yu-Fang and Xu, Junnan}, biburl = {https://www.bibsonomy.org/bibtex/267a8589ee5ebc7656bc17719d23af838/dblp}, booktitle = {TACAS (1)}, crossref = {conf/tacas/2019-1}, editor = {Vojnar, Tomás and Zhang, Lijun}, ee = {https://doi.org/10.1007/978-3-030-17462-0_23}, interhash = {7836fb4b79620d7a24bc41a39f36d364}, intrahash = {67a8589ee5ebc7656bc17719d23af838}, isbn = {978-3-030-17462-0}, keywords = {dblp}, pages = {365-371}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T15:35:27.000+0200}, title = {ROLL 1.0: \omega -Regular Language Learning Library.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2019-1.html#LiSTCX19}, volume = 11427, year = 2019 }