www.prismmodelchecker.org

PRISM Bibliography (external)

The following is a bibliography of external PRISM-related papers. These are all published by authors who are not part of the PRISM team.

See also the lists of papers produced by the PRISM team, selected PRISM papers and the full PRISM bibliography.

If there is something we have omitted, please contact us.

636 publications:

2024 (14)

2023 (26)

2022 (27)

2021 (53)

2020 (48)

2019 (36)

2018 (27)

2017 (24)

2016 (26)

2015 (39)

2014 (41)

2013 (32)

2012 (46)

2011 (34)

2010 (28)

2009 (28)

2008 (21)

2007 (21)

2006 (24)

2005 (21)

2004 (13)

2003 (5)

2002 (2)

Publications