Vladimiro Sassone
6 published titles
A distributed Kripke semantics
(Contributor)
1 edition
- Department of Informatics, University of Sussex
- 2004
- Details
Foundations of software science and computation structures : 8th international conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005,
(Contributor)
1 edition
- ISBN: 3540253882
- Springer
- 2005
- Details
From computers to ubiquitous computing, by 2020 : papers of a discussion meeting issue
(Contributor)
1 edition
- ISBN: 9780854037094
- Royal Society
- 2008
- Details
Visions of computer science BCS International Conference : proceedings of Visions and Computer Science, BCS International Academic Conference, Imperial College, London, UK, 22-24 September 2004
(Contributor)
1 edition
- ISBN: 9781906124083
- BCS
- 2008
- Details
Trustworthy global computing : 6th international symposium, TGC 2011, Aachen, Germany, June 9-10 2011 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642300646
- Springer
- 2012
- Details
Mathematical Foundations of Computer Science 2012 : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31 2012 : proceedings
(Contributor)
1 edition
- ISBN: 9783642325885
- Springer
- 2012
- Details
