Vol-1530⫷ Vol-1531 ⫸Vol-1532
urn:nbn:de:0074-1531-0


Vol-1531/paper6⫷Vol-1531/paper7⫸Vol-1531/paper8

Optimizing the Symbolic Execution of Communicating and Evolving State Machines