Biblioteca de la Universidad Complutense de Madrid

Consultar por Autor

Subir un nivel
Exportar como [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Número de eprints: 2.

Cuartero Gómez, Fernando y Frutos Escrig, David de y Valero Ruiz, Valentín (1997) A sound and complete proof system for probabilistic processes. In Transformation-Based Reactive Systems Development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21–23, 1997 Proceedings. Lecture notes in computer science (1231). Springer, pp. 340-352. ISBN 978-3-540-63010-4

Cuartero Gómez, Fernando (2002) CSP Probabilístico (PCSP) : un modelo probabilístico de procesos concurrentes. [Tesis Doctoral]

Esta lista fue generada el Tue Dec 6 02:48:19 2016 CET.