Flow faster : efficient decision algorithms for probabilistic simulations

Files in This Item:

File	Description	Size	Format
	publisher's version	565.31 kB	Adobe PDF	View/Open

Title:	Flow faster : efficient decision algorithms for probabilistic simulations
Author(s):	Zhang, Lijun Hermanns, Holger Eisenbrand, Friedrich Jansen, D.N. (215676866) Grumberg, Orna Huth, Michael
Publication year:	2007
Document type:	Article in monograph or in proceedings
Book title:	Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings
ISBN:	9783540712084 3540712089
Start page:	p. 155
End page:	p. 169
Series:	Lecture notes in computer science ; 4424
Publisher:	Berlin ; New York : Springer
Related link(s):	http://dx.doi.org/10.1007/978%2D3%2D540%2D71209%2D1_14
Subject:	Informatics for Technical Applications
Organization:	Informatics for Technical Applications
Appears in Collections:	Academic bibliography

Please use this identifier to cite or link to this item: http://hdl.handle.net/2066/34786