Â. È Ê Â Â Û Û Ò Ç ^ R R Ó Ae Ú Ú Ë Ë Â Ê Ì È Â Ê Â

发表

Verifying Temporal Properties without Temporal Logic

Â. È Ê Â Â Û Û Ò Ç ^ R R Ó Ae Ú Ú Ë Ë Â Ê Ì È Â Ê Â, 1988 .