by Lukasz Kaiser, Simon Leßenich
Reference:
A Counting Logic for Structure Transition Systems (Lukasz Kaiser, Simon Leßenich), In Computer Science Logic (CSL’12) – 26th International Workshop/21st Annual Conference of the EACSL (Patrick Cégielski, Arnaud Durand, eds.), Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, volume 16, 2012.
Bibtex Entry:
@InProceedings{kaiser_et_al:LIPIcs:2012:3684, author ={Lukasz Kaiser and Simon Le{ss}enich}, title ={{A Counting Logic for Structure Transition Systems}}, booktitle ={Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL}, pages ={366--380}, series ={Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN ={978-3-939897-42-2}, ISSN ={1868-8969}, year ={2012}, volume ={16}, editor ={Patrick C{'e}gielski and Arnaud Durand}, publisher ={Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address ={Dagstuhl, Germany}, URL ={http://drops.dagstuhl.de/opus/volltexte/2012/3684}, URN ={urn:nbn:de:0030-drops-36848}, doi ={http://dx.doi.org/10.4230/LIPIcs.CSL.2012.366}, annote ={Keywords: Logic in Computer Science, Quantitative Logics, Model Checking} }