Tools and algorithms for the construction and analysis of systems proceedings of the ...held April 2 - 6, 2001, held as part of the joint European conferences on theory ad practice of software

Saved in:
Bibliographic Details
Corporate Author: International conference
Other Authors: Margaria, Tiziana, Yi, Wang
Format: Unknown
Published: New York Springer 2001
Series:Lecture notes in computer science 2031
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!