Efficient symbolic state-space construction for asynchronous systems
Efficient symbolic state-space construction for asynchronous systems
Gianfranco Ciardo
Details
OL Work ID
OL11562179W
Subjects
Complex systems
Construction
Synchronism
Systems analysis
Find this book
Open Library