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

   page       BibTeX_logo.png       attach   
PDF Copertina Anteprima
anteprima dei lucidi
talk-card.jpg