Logical Methods in Computer Science
ISSNs: 1860-5974
International Federation for Computational Logic, Germany
FI (2012): 2, ISI indexed (2012): yes
Central database
Journal
Publications
(1)- Published
Efficient CSL Model Checking Using Stratification
Publication: Research - peer-review › Journal article – Annual report year: 2012
ID: 146382