• RecordNumber
    1714
  • Author

    Joost-Pieter Katoen

  • Title of Article

    Stochastic Processes: Lecture 10 of Probabilistic Models for Concurrency

  • Publication Year
    2005
  • URL
    ,/DL/Data Entry/DataEntryForm/EnterDocInfo.aspx