@incollection{Hungar:1994,
    Author = {Hungar, Hardi},
    BookTitle = {Computer Aided Verification},
    Editor = {Dill, DavidL.},
    ISBN = {978-3-540-58179-6},
    Pages = {169-181},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Model checking of macro processes},
    URL = {http://dx.doi.org/10.1007/3-540-58179-0\_52},
    Volume = {818},
    Year = {1994},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-58179-0\_52},
    date-added = {2014-02-10 15:15:07 +0000},
    date-modified = {2014-02-10 15:15:07 +0000},
    doi = {10.1007/3-540-58179-0_52}
}

@incollection{Hungar:1994, Author = {Hungar, Hardi}, BookTitle = {Computer Aided Verification}, Editor = {Dill, DavidL.}, ISBN = {978-3-540-58179-6}, Pages = {169-181}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Model checking of macro processes}, URL = {http://dx.doi.org/10.1007/3-540-58179-0_52}, Volume = {818}, Year = {1994}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-58179-0_52}, date-added = {2014-02-10 15:15:07 +0000}, date-modified = {2014-02-10 15:15:07 +0000}, doi = {10.1007/3-540-58179-0_52} }