Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen. Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. In Orna Grumberg, Michael Huth, editors, 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, Proceedi. Volume 4424 of Lecture Notes in Computer Science, pages 155-169, Springer, 2007. [doi]

This author has not been identified. It may be one of the following persons:

Lijun Zhang

Look up 'Lijun Zhang' in GoogleThis author has not been identified. Look up 'Holger Hermanns' in GoogleThis author has not been identified. Look up 'Friedrich Eisenbrand' in GoogleThis author has not been identified. Look up 'David N. Jansen' in Google

runs on WebDSL