Su búsqueda retornó 2 resultados.

Resultados
		Applications and Theory of Petri Nets [recurso electrónico] : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings / edited by Lars M. Kristensen, Laure Petrucci. por Kristensen, Lars M [editor.] \| Petrucci, Laure [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6709Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA75.5 -76.95.
		Formal Modeling and Analysis of Timed Systems [electronic resource] : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings / edited by Laure Petrucci, Jeremy Sproston. por Petrucci, Laure [editor.] \| Sproston, Jeremy [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14138Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Refinar su búsqueda