www.prismmodelchecker.org

PRISM Publication Lists

We maintain several publication lists:

Search

You can also search amongst all the PRISM-related publications:

If you have a PRISM-related publication not included in these lists, please tell us.

Publications