Vol-1769⫷ Vol-1770 ⫸Vol-1771
urn:nbn:de:0074-1770-0


Vol-1770/ARQNL2016_paper2⫷Vol-1770/ARQNL2016_paper3⫸Vol-1770/ARQNL2016_paper4
Ching Hoo TangChristoph Weidenbach

A Dynamic Logic for Configuration