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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.