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}
}