Jan\vcar, 1990

Summary

P. Jan\vcar (1990) Decidability of a Temporal Logic Problem for Petri Nets

BibTeX entry

@ARTICLE { Jancar90,
    AUTHOR = { P. Jan\v{c}ar },
    TITLE = { Decidability of a Temporal Logic Problem for Petri Nets },
    JOURNAL = { },
    YEAR = { 1990 },
    VOLUME = { 74 },
    NUMBER = { 1 },
    PAGES = { 71--93 },
}