Toggle navigation
Login
Toggle navigation
JavaScript is disabled for your browser. Some features of this site may not work without it.
Workshop on Verification and Theorem Proving for Continuous Systems (NetCA Workshop 2005)
QMRO Home
School of Electronic Engineering and Computer Science
Department of Computer Science Research Reports: 2000 - 2008
Workshop on Verification and Theorem Proving for Continuous Systems (NetCA Workshop 2005)
QMRO Home
School of Electronic Engineering and Computer Science
Department of Computer Science Research Reports: 2000 - 2008
Workshop on Verification and Theorem Proving for Continuous Systems (NetCA Workshop 2005)
Browse
All of QMRO
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
Administrators only
Login
Statistics
Most Popular Items
Statistics by Country
Most Popular Authors
Workshop on Verification and Theorem Proving for Continuous Systems (NetCA Workshop 2005)
View/
Open
RR-05-06.pdf (1.130Mb)
Series
Department of Computer Science Research Reports;RR-05-06 - August 2005
ISSN
1470-5559
Metadata
Show full item record
Authors
Kanovich, Max; White, Graham; Gottliebsen, Hanne; Oliva, Paulo
URI
http://qmro.qmul.ac.uk/xmlui/handle/123456789/5043
Collections
Department of Computer Science Research Reports: 2000 - 2008
[56]