Index of /~lawford/papers/FI05/uppaal

	Name	Last modified	Size	Description
	Parent Directory		-
	ires.q	20-Dec-2005 11:32	179
	prog.xml	20-Dec-2005 11:32	37K
	prog2.xml	20-Dec-2005 11:32	38K
	progr.xml	20-Dec-2005 11:32	29K
	rec.q	20-Dec-2005 11:32	123
	res.q	20-Dec-2005 11:32	176
	spec.xml	20-Dec-2005 11:32	28K
	spec2.xml	20-Dec-2005 11:32	34K
	specr.xml	20-Dec-2005 11:32	27K