Checking Several Requirements at once by CEGAR

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-319-41579-6_17 ◽

2016 ◽

pp. 218-232 ◽

Cited By ~ 1

Author(s):

Vitaly Mordan ◽

Vadim Mutilin

Download Full-text