Index of /garland/publications/Abstracts

	Name	Last modified	Size	Description
	Parent Directory		-
	1988-Inductive_Reasoning.html	2012-12-19 06:14	2.0K
	1988-Verification_of_VLSI.html	2012-12-19 06:14	1.4K
	1991-SRC_82.html	2012-12-19 06:14	1.4K
	1992-Mechanized_Verification.html	2012-12-19 06:14	1.7K
	1992-Parallel_Completion_Procedure.html	2012-12-19 06:14	1.8K
	1993-Overview_of_Larch.html	2012-12-19 06:14	1.6K
	1993-Simulation_Proofs.html	2012-12-19 06:14	1.6K
	1993-Transformation_in_Circuit_Design.html	2012-12-19 06:14	1.9K
	1994-Verifying_Timing_Properties.html	2012-12-19 06:14	1.5K
	1996-Concurrent_Timestamps.html	2012-12-19 06:14	1.6K
	1996-Ordering_for_AC_Rewrite_Systems.html	2012-12-19 06:14	1.9K
	1998-Active_Reliable_Multicast.html	2012-12-19 06:14	2.1K
	1998-IOA_Language_and_Toolset.html	2012-12-19 06:14	2.0K
	2000-Using_IO_Automata.html	2012-12-19 06:14	1.6K
	2004-Composite_Automata.html	2012-12-19 06:14	1.3K
	2004-Simulated_Execution.html	2012-12-19 06:14	2.2K
	abstract.css	2012-12-19 06:14	297
	1964-Dartmouth_Algol.html	2014-06-09 11:07	7.7K
	1964-Julia_Robinson_Notes.html	2014-06-09 11:07	2.6K
	1983-Language_in_Teaching_Programming.html	2014-06-09 11:11	2.8K
	1967-09-29 PhD Thesis.pdf	2014-06-09 11:14	345K