Get 40% off select print & eBooks in Engineering & Materials or 50% off eBooks in Medicine & Psychology!

Lecture Notes in Computer Science

Formal Methods for Real-Time and Probabilistic Systems

5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings

Editors: Katoen, Jost-Pieter (Ed.)

Free Preview

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-540-48778-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-540-66010-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (20 chapters)

Table of contents (20 chapters)
  • Fully Abstract Characterization of Probabilistic May Testing

    Pages 1-18

    Jonsson, Bengt (et al.)

  • Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms

    Pages 19-33

    McIver, Annabelle K.

  • Establishing Qualitative Properties for Probabilistic Lossy Channel Systems

    Pages 34-52

    Baier, Christel (et al.)

  • Root Contention in IEEE 1394

    Pages 53-74

    Stoelinga, Mariëlle (et al.)

  • Automatic Verification of Real-Time Systems with Discrete Probability Distributions

    Pages 75-95

    Kwiatkowska, Marta (et al.)

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-540-48778-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-540-66010-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Methods for Real-Time and Probabilistic Systems
Book Subtitle
5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings
Editors
  • Jost-Pieter Katoen
Series Title
Lecture Notes in Computer Science
Series Volume
1601
Copyright
1999
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-48778-4
DOI
10.1007/3-540-48778-6
Softcover ISBN
978-3-540-66010-1
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 353
Topics