Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 2009
Kuijper, W. and van de Pol, J.C.
(2009)
Compositional Control Synthesis for Partially Observable Systems.
In: CONCUR 2009 - Concurrency Theory, 1-4 Sep 2009, Bologna, Italy.
pp. 431-447.
Lecture Notes in Computer Science 5710.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-642-04080-1
2005
Corin, R.J. and Di Caprio, G. and Etalle, S. and Gnesi, S. and Lenzini, G. and Moiso, C.
(2005)
A Formal Security Analysis of an OSA/Parlay Authentication Interface.
In: 7th IFIP WG 6.1 Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Athens, Greece.
pp. 131-146.
Springer-Verlag.
ISBN 3-540-26181-8
This list was generated on Thu May 24 08:46:19 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||