Common Repositories Interfaces Group 22

First Page		Document Content
Date: 2007-03-28 04:04:54 Science Academic publishing Bibliographic databases Archival science Repository Institutional repository SHERPA BASE Metadata Open access Publishing Knowledge		Common Repositories Interfaces Group 22 Add to Reading List Source URL: www.ukoln.ac.uk Download Document from Source Website File Size: 72,00 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