publication venue for Modeling and Verification of Cryptographic Protocols Using Coloured Petri Nets and Design/CPN.. 12:200-228. 2005 A Note on Crochemore's Repetitions Algorithm - A Fast Space-Efficient Approach.. 10:21-28. 2003
