British Library Catalogue Dataset

First Page		Document Content
Date: 2015-05-15 03:51:04 Law Creative Commons license Intellectual property law Civil parishes in West Yorkshire Creative Commons .uk Data Wetherby Open content Computer law Copyleft		British Library Catalogue Dataset Add to Reading List Source URL: www.bl.uk Download Document from Source Website File Size: 37,34 KB Share Document on Facebook

	A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017 DocID: 1xW3e - View Document
	LIPIcs Leibniz International Proceedings in Informatics Verification and Refutation of∗ Probabilistic Specifications via Games DocID: 1xW2u - View Document
	Reachability in Recursive Markov Decision Processes? Tom´ aˇs Br´ azdil, V´ aclav Broˇzek, Vojtˇech Forejt, and Anton´ın Kuˇcera DocID: 1xW2m - View Document
	GRIP: Generic Representatives in PRISM Alastair F. Donaldson Codeplay Software Ltd. Edinburgh DocID: 1xW1G - View Document
	British long distance swimmer David Davies uses visualisation techniques to motivate himself to train every morning. PSYCHOLOGY DocID: 1xW1B - View Document