Vol-1068⫷ Vol-1069 ⫸Vol-1070
urn:nbn:de:0074-1069-0


None⫷None⫸None
Martina SeidlPetra KaufmannAndreas PfandlerMagdalena WidlMartin Kronegger

Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines