Vol-555⫷ Vol-556 ⫸Vol-557
urn:nbn:de:0074-556-0


Vol-556/paper-1⫷Vol-556/paper-2⫸Vol-556/paper-3

Model-Checking of Array-Based Systems: from Foundations to Implementation