Abstraction-based deductive-algorithmic verification of reactive systems

Description

Thesis (Ph.D)--Stanford University, 1998. / Title from pdf t.p. (viewed April 3, 2002). "December 1998." "Adminitrivia V1/Prg/19990326"--Metadata.

Links & Downloads

1. http://library.stanford.edu/depts/mathcs/mathcscoll/techreports.html

Tags

Computer programs

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/123278924
Date	January 1900
Creators	Uribe Restrepo, Tomás E.
Publisher	[Stanford, Calif. : Stanford University,
Source Sets	OCLC
Language	English
Detected Language	English