Cette page en françaisQuesta pagina in italianoThis page in English
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/chang-ey

Edward Y. Chang (chang-ey)

Beiträge zu Philosophie.ch

No contributions yet

Bibliography

    Chang, Edward Y., Manna, Zohar and Pnuelli, Amir. 1992. “A Hierarchy of Temporal Properties.” in Computer System & Sciences: NATO Advanced Science Institutes Series. Berlin: Springer Verlag.
    Chang, Edward Y., Manna, Zohar and Pnuelli, Amir. 1994. “Compositional Verification of Real-Time Systems.” in IEEE Proceedings of the 9th Annual IEEE Symposion on Logic in Computer Science. New York: IEEE Computer Science Press.