Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings /

Bibliographic Details
Corporate Authors: PAPM-PROBMIV 2001 Aachen, Germany, SpringerLink (Online service)
Other Authors: De Alfaro, Luca, 1966-, Gilmore, Stephen, 1962-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, [2001]
Series:Lecture notes in computer science ; 2165.
Subjects:
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA267 .P36 2001
 
Call Number Status Get It
QA267 .P36 2001 Available