Skip to content
cs-conference-ranking
.org
By subfield
By rank
Methodology
⌕
Search 971 venues
Home
/
SPLC
/
Paper
A modal logic for abstract delta modeling.
Frank S. de Boer
,
Michiel Helvensteijn
,
Joost Winter
Venue
B
SPLC
Year
2012
Proceedings
SPLC (2)
DBLP record
conf/splc/BoerHW12 ↗
Browse the full
SPLC paper archive
.