Publication:4417914
From MaRDI portal
zbMath1031.68075MaRDI QIDQ4417914
Orna Kupferman, Roy Armoni, Doron Bustan, Moshe Y. Vardi
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2619/26190065.htm
Related Items
Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations, From Monadic Logic to PSL, Functional Specification of Hardware via Temporal Logic, From Philosophical to Industrial Logics