Jan\vcar et al, 2012

Summary

Petr Jan\vcar, Prateek Karandikar, and Philippe Schnoebelen (2012) Unidirectional channel systems can be tested IFIP TCS 2012 Lecture Notes in Computer Science vol. 7604 Jos Baeten, Tom Ball, and Frank de Boer Springer 149–163 (URL)

BibTeX entry

@INPROCEEDINGS { jks-ifiptcs12,
    LOCATION = { Amsterdam, The Netherlands },
    AUTHOR = { Jan\v{c}ar, Petr and Karandikar, Prateek and Schnoebelen, {\relax Ph}ilippe },
    BOOKTITLE = { IFIP TCS 2012 },
    CONFNUM = { 7th },
    CONFNAME = { {IFIP} {I}nternational {C}onference on {T}heoretical {C}omputer {S}cience },
    DOI = { 10.1007/978-3-642-33475-7_11 },
    EDITOR = { Baeten, Jos and Ball, Tom and de Boer, Frank },
    MONTH = { },
    PAGES = { 149--163 },
    PUBLISHER = { Springer },
    SERIES = { Lecture Notes in Computer Science },
    TITLE = { Unidirectional channel systems can be tested },
    URL = { http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/JKS-ifiptcs12.pdf },
    VOLUME = { 7604 },
    YEAR = { 2012 },
}