Model Checking Synchronized Products of Infinite Transition Systems.

Stefan Whrle, Wolfgang Thomas

Browse the full LICS paper archive.