Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems.

Radu Iosif Adam Rogalewicz Tomás Vojnar

Published in: TACAS (2016)

Keyphrases

management system
distributed systems
computer vision
intelligent systems
database
e learning
case study
image segmentation
database systems
knowledge based systems
complex systems