TPTS'2002. Proceedings of the 1st workshop on the theory and practice of timed systems (satellite event of ETAPS 2002), Grenoble, France, April 6--7, 2002
zbMATH Open1267.68020MaRDI QIDQ2377228
Author name not available (Why is that?)
Publication date: 28 June 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: http://www.sciencedirect.com/science/journal/15710661/65/6
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
- Title not available (Why is that?) π π
- Proceedings of ARTS 2004, the 6th AMAST workshop on real-time systems (ARTS 2004), Stirling, UK, July 12, 2004 π π
- Formal modeling and analysis of timed systems. 4th international conference, FORMATS 2006, Paris, France, September 25--27, 2006. Proceedings π π
- A theory of implementation and refinement in timed Petri nets π π
- Formal modeling and analysis of timed systems. First international workshop, FORMATS 2003, Marseille, France, September 6--7, 2003. Revised papers. π π
- Formal modeling and analysis of timed systems. 19th international conference, FORMATS 2021, Paris, France, August 24--26, 2021. Proceedings π π
- MTCS '02. Proceedings of the 3rd international workshop on models for time-critical systems (CONCUR 2002 satellite workshop), Brno, Czech Republic, August 24, 2002 π π
- TPAP: an algebra of preemptive processes for verifying real-time systems with shared resources π π
- MTCS 2000. Proceedings of the international satellite workshop on models for time-critical systems, State College, University Park, PA, USA, 26 August 2000 π π
This page was built for publication: TPTS'2002. Proceedings of the 1st workshop on the theory and practice of timed systems (satellite event of ETAPS 2002), Grenoble, France, April 6--7, 2002
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2377228)