Model checking: beyond the finite

Show full record

Title: Model checking: beyond the finite
Author: Kahlon, Vineet
Abstract: Not available
Department: Computer Sciences
Subject: Computer programs--Verification
URI: http://hdl.handle.net/2152/1158
Date: 2004

Files in this work

Download File: kahlon70792.pdf
Size: 1.705Mb
Format: application/pdf

This work appears in the following Collection(s)

Show full record


Advanced Search

Browse

My Account

Statistics

Information