On Parameter Synthesis by Parallel Model Checking

Jiri Barnat, Lubos Brim, Adam Krejci, Adam Streck, David Safránek, Martin Vejnar, Tomas Vejpustek. On Parameter Synthesis by Parallel Model Checking. IEEE/ACM Trans. Comput. Biology Bioinform., 9(3):693-705, 2012. [doi]

Authors

Jiri Barnat

This author has not been identified. Look up 'Jiri Barnat' in Google

Lubos Brim

This author has not been identified. Look up 'Lubos Brim' in Google

Adam Krejci

This author has not been identified. Look up 'Adam Krejci' in Google

Adam Streck

This author has not been identified. Look up 'Adam Streck' in Google

David Safránek

This author has not been identified. Look up 'David Safránek' in Google

Martin Vejnar

This author has not been identified. Look up 'Martin Vejnar' in Google

Tomas Vejpustek

This author has not been identified. Look up 'Tomas Vejpustek' in Google