default search action

combined dblp search
author search
venue search
publication search

ask others

1st MTCS 2000: State College, PA, USA

> 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/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mtcs/2000
Flavio Corradini, Paola Inverardi:
Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 26, 2000. Electronic Notes in Theoretical Computer Science 39(3), Elsevier 2000
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CorradiniI02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CorradiniI02
Flavio Corradini, Paola Inverardi:
Preface. 195-196
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BravettiB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BravettiB02
Mario Bravetti, Marco Bernardo:
Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time. 197-230
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CapraDFI02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CapraDFI02
Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié:
Exploiting Partial Symmetries for Markov Chain Aggregation. 231-257
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DuRS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DuRS02
Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka:
Real-Time Verification Techniques for Untimed Systems. 258-272
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HalkjaerHI02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HalkjaerHI02
Lone Halkjaer, Karen Haervig, Anna Ingólfsdóttir:
Verification of the legOS Scheduler using Uppaal. 273-292
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/RoubtsovaKTPR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RoubtsovaKTPR02
Ella E. Roubtsova, Jan van Katwijk, W. J. Toetenel, Cornelis Pronk, Ruud C. M. de Rooij:
Specification of Real-Time Systems in UML. 293-305
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/VoglerJ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/VoglerJ02
Walter Vogler, Lars Jenner:
Axiomatizing a Fragment of PAFAS. 306-321
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Henzinger02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Henzinger02
Thomas A. Henzinger:
Exploiting Design Structure in Model Checking. 322

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.