Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata

First Author: Abba A

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-92137-8_5

Publication URI: http://dx.doi.org/10.1007/978-3-030-92137-8_5

Type: Book Chapter

Book Title: Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings (2021)

Page Reference: 70-86

ISSN: 1773-0155