scientific article; zbMATH DE number 2038760
From MaRDI portal
Publication:4449225
zbMath1039.03505MaRDI QIDQ4449225
David van Campenhout, Dana Fisman, Cindy Eisner, Anthony McIsaac, John W. Havlicek
Publication date: 8 February 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2719/27190857.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Functional Specification of Hardware via Temporal Logic ⋮ An application of temporal projection to interleaving concurrency ⋮ From Philosophical to Industrial Logics ⋮ From Monadic Logic to PSL
This page was built for publication:
