Fernando Cuartero

Available identifiers

Publication	Date of Publication	Type
Timed processes of Timed Petri Nets	2022-08-16	Paper
Improving performance in flexible manufacturing systems	2009-04-29	Paper
A mathematical model of the static pantograph/catenary interaction	2009-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q3601873	2009-02-12	Paper
A high performance tool for the simulation of the dynamic pantograph-catenary interaction	2008-12-17	Paper
A congruence relation for sPBC	2008-04-11	Paper
https://portal.mardi4nfdi.de/entity/Q5754515	2007-08-22	Paper
Applying Formal Methods: Testing, Performance, and M/E-Commerce	2006-10-24	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004	2005-08-18	Paper
A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets	2005-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q3045274	2004-08-12	Paper
Algebraic theory of probabilistic and nondeterministic processes.	2003-08-13	Paper
A process algebra for probabilistic and nondeterministic processes	2002-07-25	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Fernando Cuartero