Cristin-resultat-ID: 1955246
Sist endret: 27. januar 2022, 13:41
NVI-rapporteringsår: 2021
Resultat
Vitenskapelig artikkel
2021

Improving Online Railway Deadlock Detection using a Partial Order Reduction

Bidragsytere:
  • Bjørnar Luteberget

Tidsskrift

Electronic Proceedings in Theoretical Computer Science (EPTCS)
ISSN 2075-2180
e-ISSN 2075-2180
NVI-nivå 1

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2021
Publisert online: 2021
Volum: 348
Sider: 110 - 127
Open Access

Beskrivelse Beskrivelse

Tittel

Improving Online Railway Deadlock Detection using a Partial Order Reduction

Bidragsytere

Bjørnar Luteberget

  • Tilknyttet:
    Forfatter
    ved Mathematics and Cybernetics ved SINTEF AS
1 - 1 av 1