×

Found 16 Documents (Results 1–16)

Newest Citations Relevance
Magnin, Morgan; Lime, Didier; Roux, Olivier H.

Symbolic state space of stopwatch Petri nets with discrete-time semantics (theory paper). (English) Zbl 1143.68493

van Hee, Kees M. (ed.) et al., Applications and theory of Petri nets. 29th international conference, PETRI NETS 2008, Xi’an, China, June 23–27, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68745-0/pbk). Lecture Notes in Computer Science 5062, 307-326 (2008).
MSC:  68Q85 68Q60
Cite Review PDF
Full Text: DOI
Furia, Carlo A.; Rossi, Matteo

Integrating discrete- and continuous-time metric temporal logics through sampling. (English) Zbl 1141.68465

Asarin, Eugene (ed.) et al., Formal modeling and analysis of timed systems. 4th international conference, FORMATS 2006, Paris, France, September 25–27, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-45026-9/pbk). Lecture Notes in Computer Science 4202, 215-229 (2006).
MSC:  68Q60 03B44
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

Main Field

all top 3

Software