scientific article; zbMATH DE number 1953876

MaRDI QIDQ4415055zbMATH OpenFDO

Authors Dimitra Ananidou, George Hassapis, Dimitrios Kleftouris

Publication date 28 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2563/25630386.htm

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Recommendations

• Computational Science - ICCS 2004
• scientific article; zbMATH DE number 1751909
• scientific article; zbMATH DE number 1070535
• scientific article; zbMATH DE number 6708300
• A method for parametric verification of the behavior of time Petri nets

Cited in

(3)

• scientific article; zbMATH DE number 6708300 (Why is no real title available?)
• scientific article; zbMATH DE number 1070535 (Why is no real title available?)
• Computational Science - ICCS 2004

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4415055)