@INPROCEEDINGS{cqre99,
AUTHOR = "David Basin",
TITLE =  "Lazy Infinite-State Analysis of Security Protocols",
BOOKTITLE = "Secure Networking --- CQRE [Secure] '99",
PUBLISHER = "Springer-Verlag",
SERIES = "Lecture Notes in Computer Science",
NUMBER = 1740,
ADDRESS = "D{\"u}sseldorf, Germany",
MONTH = "November",
YEAR = 1999,
PAGES = "30--42"
}