CSP and Kripke Structures.

Ana Cavalcanti, Wen-ling Huang, Jan Peleska, Jim Woodcock

Browse the full ICTAC paper archive.