Vol-1255⫷ Vol-1256 ⫸Vol-1257
urn:nbn:de:0074-1256-0


Vol-1256/invit3⫷Vol-1256/paper1⫸Vol-1256/paper2
Faiza BelalaKamel BarkaouiTaha Abdelmoutaleb Cherfia

Towards Formal Modeling and Verification of Context-Aware Systems