Temporal verification of reactive systems: progress

Author: Manna Z., Pnueli A.
Publisher: web draft
Language: English
Year: 1996
Page: 247
File Type: pdf
File Size: 1.4 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book