@incollection(BosnackiDH02,
 author       = "D. Bosnacki and D. Dams and L. Holenderski",
 year         = "2000",
 title        = "Symmetric Spin",
 booktitle    = "{SPIN} {M}odel {C}hecking and {S}oftware {V}erification",
 series       = "LNCS",
 volume       = "1885",
 publisher    = "Springer Berlin / Heidelberg",
 doi          = "10.1007/10722468\_1",
)
@incollection(Clarke98,
 author       = "E. Clarke and E. Emerson and S. Jha and A. Sistla",
 year         = "1998",
 title        = "{S}ymmetry {R}eductions in {M}odel {C}hecking",
 booktitle    = "Computer Aided Verification",
 series       = "LNCS",
 volume       = "1427",
 publisher    = "Springer Berlin / Heidelberg",
 doi          = "10.1007/BFb0028741",
)
@techreport(fullpaper,
 author       = "\L . Fronc",
 year         = "2012",
 title        = "{E}ffective {M}arking {E}quivalence {C}hecking",
 type         = "Technical Report",
 institution  = "IBISC",
 url          = "http://goo.gl/mvBor",
)
@inproceedings(FP11a,
 author       = "\L . Fronc and F. Pommereau",
 year         = "2011",
 title        = "{O}ptimizing the {C}ompilation of {P}etri {N}et {M}odels",
 booktitle    = "Proc. of SUMo'11",
 volume       = "726",
 publisher    = "CEUR",
)
@inproceedings(FP11,
 author       = "\L . Fronc and F. Pommereau",
 year         = "2011",
 title        = "{T}owards a {C}ertified {P}etri {N}et {M}odel-{C}hecker",
 booktitle    = "APLAS",
 series       = "LNCS",
 volume       = "7078",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-25318-8\_24",
)
@article(KKPP10,
 author       = "Klaudel H. and Koutny M. and Pelz E. and Pommereau F.",
 year         = "2010",
 title        = "{S}tate {S}pace {R}eduction for {D}ynamic {P}rocess {C}reation",
 journal      = "Sci. Ann. Comp. Sci.",
 volume       = "20",
)
@incollection(Hendriks04addingsymmetry,
 author       = "M. Hendriks and G. Behrmann and K. Larsen and P. Niebert and F. Vaandrager",
 year         = "2004",
 title        = "{A}dding {S}ymmetry {R}eduction to {U}ppaal",
 booktitle    = "Formal Modeling and Analysis of Timed Systems",
 series       = "LNCS",
 volume       = "2791",
 publisher    = "Springer Berlin / Heidelberg",
 doi          = "10.1007/978-3-540-40903-8\_5",
)
@book(Jensen09,
 author       = "K. Jensen and Kristensen L.M.",
 year         = "2009",
 title        = "{C}oloured {P}etri {N}ets - {M}odelling and {V}alidation of {C}oncurrent {S}ystems",
 publisher    = "Springer",
 doi          = "10.1007/b95112",
)
@phdthesis(Junttila,
 author       = "T. Junttila",
 year         = "2003",
 title        = "{O}n the {S}ymmetry {R}eduction {M}ethod for {P}etri {N}ets and {S}imilar {F}ormalisms",
 type         = "Ph{D}. {T}hesis",
 address      = "Espoo, Finland",
)
@inproceedings(KKPP08,
 author       = "H. Klaudel and M. Koutny and E. Pelz and F. Pommereau",
 year         = "2008",
 title        = "{T}owards {E}fficient {V}erification of {S}ystems with {D}ynamic {P}rocess {C}reation",
 series       = "LNCS",
 volume       = "5160",
 publisher    = "Springer",
 doi          = "10.1007/978-3-540-85762-4\_13",
)
@inproceedings(KKPP09,
 author       = "H. Klaudel and M. Koutny and E. Pelz and F. Pommereau",
 year         = "2009",
 title        = "{A}n {A}pproach to {S}tate {S}pace {R}eduction for {S}ystems with {D}ynamic {P}rocess {C}reation",
 booktitle    = "ISCIS",
 publisher    = "IEEE Digital Library",
 doi          = "10.1109/ISCIS.2009.5291864",
)
@misc(nauty2,
 author       = "B. McKay",
 title        = "{N}auty",
 url          = "http://cs.anu.edu.au/people/bdm/nauty/",
)
@inproceedings(nauty1,
 author       = "B. McKay",
 year         = "1981",
 title        = "{P}ractical {G}raph {I}somorphism",
 booktitle    = "Manitoba Conference on Numerical Mathematics and Computing",
 series       = "Congressus Numerantium",
 publisher    = "Utilitas Mathematica Pub.",
)
@book(Kenneth1993,
 author       = "K. McMillan",
 year         = "1993",
 title        = "{S}ymbolic {M}odel {C}hecking",
 publisher    = "Kluwer",
 doi          = "10.1007/978-1-4615-3190-6",
)
@article(enlighten3197,
 author       = "A. Miller and A. Donaldson and M. Calder",
 year         = "2006",
 title        = "{S}ymmetry in {T}emporal {L}ogic {M}odel {C}hecking",
 journal      = "ACM Computing Surveys",
 volume       = "38",
 number       = "3",
 doi          = "10.1145/1132960.1132962",
)