Mining Time for Timed Regular Specifications

Apurva Narayan, Sebastian Fischmeister. Mining Time for Timed Regular Specifications. In 2019 IEEE International Conference on Systems, Man and Cybernetics, SMC 2019, Bari, Italy, October 6-9, 2019. pages 63-69, IEEE, 2019. [doi]

@inproceedings{NarayanF19,
  title = {Mining Time for Timed Regular Specifications},
  author = {Apurva Narayan and Sebastian Fischmeister},
  year = {2019},
  doi = {10.1109/SMC.2019.8914490},
  url = {https://doi.org/10.1109/SMC.2019.8914490},
  researchr = {https://researchr.org/publication/NarayanF19},
  cites = {0},
  citedby = {0},
  pages = {63-69},
  booktitle = {2019 IEEE International Conference on Systems, Man and Cybernetics, SMC 2019, Bari, Italy, October 6-9, 2019},
  publisher = {IEEE},
  isbn = {978-1-7281-4569-3},
}