ScienceCornell UniversityIthaca

Temporal Proof Methodologies for Timed Transition Systems 1;2

Thomas A. HenzingerDepartment, ScienceCornell UniversityIthaca, Zohar MannaDepartment, 1994 .

Toward a Taxonomy of Logical Document StructuresKristen SummersDepartment of Computer

ScienceCornell UniversityIthaca, ScienceCornell UniversityIthaca, 1995 .