Start Over
You searched for: author_facet Panangaden, P.

Search Results

Cover image for Labelled Markov processes

Labelled Markov processes

Location
Access Content Online
Cover image for Mathematical techniques for analyzing concurrent and probabilistic systems

Mathematical techniques for analyzing concurrent and probabilistic systems

  • 2004
  • Format: Book
Location Call # Status
Joyner - General Stacks QA402 .M3594 2004 ✔ Available