Atig and Habermehl, 2009

Summary

M. F. Atig and P. Habermehl (2009) On Yen's Path Logic for Petri nets RP 2009 51–63 (URL)

BibTeX entry

@INPROCEEDINGS { AtigHabermehl10,
    AUTHOR = { M. F. Atig and P. Habermehl },
    TITLE = { On {Y}en's Path Logic for {P}etri nets },
    BOOKTITLE = { RP 2009 },
    SERIES = { },
    VOLUME = { 5797 },
    PAGES = { 51--63 },
    DOI = { 10.1007/978-3-642-04420-5_7 },
    YEAR = { 2009 },
    NOTE = { To appear in \emph{Int. J. Fund. Comput. S.} },
}