EEMCS
Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Sitemap
 Search
 Organisation

EEMCS EPrints Service


1432 Performance and verification
 Home Policy Brochure Browse Search User Area Contact Help

Haverkort, B.R.H.M. and Katoen, J.P. (2005) Performance and verification. ACM SIGMETRICS Performance Evaluation Review, 32 (4). pp. 3-3. ISSN 0163-5999

Full text available as:

PDF
 - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
229 Kb

Official URL: http://doi.acm.org/10.1145/1059816.1059817

Exported to Metis
Item Type:Article
Research Group:EWI-DACS: Design and Analysis of Communication Systems, EWI-FMT: Formal Methods and Tools
Research Program:CTIT-UBRICKS: Building Blocks for Ubiquitous Computing and Communication
Research Project:Voss-2: Validation of Stochastic Systems II
ID Code:1432
Status:Published
Deposited On:21 February 2006
Refereed:No
International:Yes
More Information:statisticsmetis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item