default search action

combined dblp search
author search
venue search
publication search

ask others

2nd MTCS 2001: Aalborg, Denmark

> Home > Conferences and Workshops > MTCS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/mtcs/2001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mtcs/2001
Flavio Corradini, Walter Vogler:
Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001. Electronic Notes in Theoretical Computer Science 52(3), Elsevier 2002
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Baeten01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Baeten01
Jos C. M. Baeten:
Timed Process Algebras. 207-208
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BobbioH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BobbioH01
Andrea Bobbio, András Horváth:
Petri Nets with Discrete Phase Type Timing: A Bridge Between Stochastic and Functional Analysis. 209-226
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BrabermanO01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BrabermanO01
Víctor A. Braberman, Alfredo Olivero:
Extending Timed Automata for Compositional Modeling Healthy Timed Systems. 227-245
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BravettiA01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BravettiA01
Mario Bravetti, Alessandro Aldini:
Non-determinism in Probabilistic Timed Systems with General Distributions. 246-274
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BuchholtzAL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BuchholtzAL01
Mikael Buchholtz, Jacob Andersen, Hans Henrik Løvengreen:
Towards a Process Algebra for Shared Processors. 275-294
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LanotteMT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LanotteMT01
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini:
Privacy in Real-Time Systems. 295-305
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/StribrnaL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/StribrnaL01
Jitka Stríbrná, Insup Lee:
Characterizing Non-Zenoness on Real-Time Processes. 306-322
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CorradiniV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CorradiniV01
Flavio Corradini, Walter Vogler:
Preface. 323-324

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.