A wavefront parallelisation of CTMC solution using MTBDDs

[No Value] [No Value], David Parker, Marta Kwiatkowska

Research output: Contribution to conference (unpublished)Paper

Original languageEnglish
Pages734-742
Number of pages9
Publication statusPublished - 1 Jan 2005
EventInternational Conference on Dependable Systems and Networks (DSN '05) -
Duration: 1 Jan 2005 → …

Conference

ConferenceInternational Conference on Dependable Systems and Networks (DSN '05)
Period1/01/05 → …

Cite this