Vol-891⫷ Vol-892 ⫸Vol-893
urn:nbn:de:0074-892-0


None⫷None⫸None

A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems