Finite Bisimulation of Reactive Untimed Infinite State...

IEEE Transactions on Automation Science and Engineering 2013 / 01 Vol. 10; Iss. 1

Finite Bisimulation of Reactive Untimed Infinite State Systems Modeled as Automata With Variables

Zhou, Changyan, Kumar, Ratnesh
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
10
Language:
english
Journal:
IEEE Transactions on Automation Science and Engineering
DOI:
10.1109/tase.2012.2198917
Date:
January, 2013
File:
PDF, 653 KB
english, 2013
Conversion to is in progress
Conversion to is failed