ARC-DepositGuide0.5_March 14

First Page		Document Content
Date: 2014-03-21 10:17:57 Repository DSpace University of Abertay Dundee Software Library science Knowledge Open access SWORD Standards		ARC-DepositGuide0.5_March 14 Add to Reading List Source URL: library.abertay.ac.uk Download Document from Source Website File Size: 325,51 KB Share Document on Facebook

	Counterexample-guided Refinement of Template Polyhedra Sergiy Bogomolov12, Goran Frehse3, Mirco Giacobbe2, and Thomas A. Henzinger2 1 3 DocID: 1xW2M - View Document
	Grattage, Jonathan JamesA functional quantum programming language. PhD thesis, University of Nottingham. Access from the University of Nottingham repository: http://eprints.nottingham.ac.ukthesis.pdf Cop DocID: 1xVW1 - View Document
	NewsHQ Basic A Digital Archive of Your Company’s Press Releases NewsHQ Basic is a repository of all of your company’s press releases that have been distributed through Business Wire. Take advantage of NewsHQ Basic w DocID: 1xVcK - View Document
	Space-time Interpolants Goran Frehse1 , Mirco Giacobbe2 , and Thomas A. Henzinger2 1 Univ. Grenoble Alpes, CNRS, Grenoble INP, VERIMAG 2 DocID: 1xUqu - View Document
	Conic Abstractions for Hybrid Systems Sergiy Bogomolov12 , Mirco Giacobbe2 , Thomas A. Henzinger2 , and Hui Kong2 1 Australian National University, Canberra, Australia 2 DocID: 1xU0g - View Document