default search action

combined dblp search
author search
venue search
publication search

ask others

5th MARS@ETAPS 2022: Munich, Germany

> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-09299
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-09299
Clemens Dubslaff, Bas Luttik:
Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2022, Munich, Germany, 2nd April 2022. EPTCS 355, 2022
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-09881
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-09881
Arnd Hartmanns:
An Overview of Modest Models and Tools for Real Stochastic Timed Systems. 1-12
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-09882
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-09882
Courtney Darville, Peter Höfner, Franc Ivankovic, Adam Pam:
Advanced Models for the OSPF Routing Protocol. 13-26
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-12435
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-12435
Sandra Johnson, David Hyland-Wood, Anders L. Madsen, Kerrie L. Mengersen:
Stateful to Stateless: Modelling Stateless Ethereum. 27-39
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-09884
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-09884
Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt, Anton Reinecke, Alexander Schlaefer, Sibylle Schupp:
Modeling R³ Needle Steering in Uppaal. 40-59
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-09885
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-09885
Lina Marsso, Radu Mateescu, Lucie Muller, Wendelin Serwe:
Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing. 60-117
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-10903
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-10903
Franco Mazzanti, Dimitri Belli:
Formal Modeling and Initial Analysis of the 4SECURail Case Study. 118-144

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.