Praveen and Lodaya, 2009

Summary

M. Praveen and K. Lodaya (2009) Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE FSTTCS 2009 LZI 347–358 (URL)

BibTeX entry

@INPROCEEDINGS { MPraveenLodaya09,
    AUTHOR = { M. Praveen and K. Lodaya },
    TITLE = { Modelchecking counting properties of 1-safe nets with buffers in para{PSPACE} },
    BOOKTITLE = { FSTTCS 2009 },
    LOCATION = { Kanpur, India },
    SERIES = { },
    VOLUME = { 4 },
    PAGES = { 347--358 },
    YEAR = { 2009 },
    DOI = { 10.4230/LIPIcs.FSTTCS.2009.2331 },
    PUBLISHER = { LZI },
}