Generation of Synchronizing State Machines from a Transition System: A Region–Based Approach
By: Viktor Teren, Jordi Cortadella and Tiziano Villa
Download Article
Download the full article as a PDF file.
Language: English
Page range: 133 - 149
Submitted on: Jan 28, 2022
Accepted on: Oct 25, 2022
Published on: Mar 29, 2023
Published by: University of Zielona Góra
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Keywords:
Related subjects:
© 2023 Viktor Teren, Jordi Cortadella, Tiziano Villa, published by University of Zielona Góra
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.