Go to the corresponding LIPIcs Volume Portal 
Kaiser, Lukasz ; Leßenich, Simon
pdfformat: 

@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 = {366380}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897422}, ISSN = {18688969}, year = {2012}, volume = {16}, editor = {Patrick C{\'e}gielski and Arnaud Durand}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2012/3684}, URN = {urn:nbn:de:0030drops36848}, doi = {http://dx.doi.org/10.4230/LIPIcs.CSL.2012.366}, annote = {Keywords: Logic in Computer Science, Quantitative Logics, Model Checking} }
Keywords:  Logic in Computer Science, Quantitative Logics, Model Checking  
Seminar:  Computer Science Logic (CSL'12)  26th International Workshop/21st Annual Conference of the EACSL  
Issue Date:  2012  
Date of publication:  27.08.2012 