Generalizing Abadi & Lamport's method to solve a problem posed by A. Pnueli

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods ◽

10.1007/bfb0024653 ◽

1993 ◽

pp. 294-313 ◽

Cited By ~ 4

Author(s):

Kai Engelhardt ◽

Willem-Paul de Roever

Download Full-text