@inproceedings{
    ttj:iteratc,
    author = "Jussila, Toni",
    optmonth = "",
    optnumber = "",
    title = "Efficient Bounded Reachability Through Iterative Strengthening",
    booktitle = "Concurrency, Specification and Programming CS\&P'2004",
    optaddress = "",
    optnote = "",
    optpublisher = "",
    optpages = "",
    optannote = "",
    optorganization = "",
    optkey = "",
    year = "2004",
    optvolume = "",
    optcrossref = "",
    opteditor = "G. Lindemann",
    optseries = ""
}