@misc {IOPORT.70004942,
    author       = {Lin, Huimin},
    title        = {Symbolic transition graph with assignment},
    howpublished = {CONCUR, 50-65 (1996).},
    year         = {1996},
    doi          = {10.1007/3-540-61604-7_47},
    identifier   = {70004942},
}