A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  • David Basin
  • Thibault Dardinier
  • Lukas Heimes
  • Srđan Krstić
  • Martin Raszyk
  • Joshua Schneider
  • Traytel, Dmitriy
OriginalsprogEngelsk
TitelIJCAR 2020
Antal sider22
Vol/bind12166
Publikationsdato2020
Sider432-453
DOI
StatusUdgivet - 2020
Eksternt udgivetJa
NavnLecture Notes in Computer Science
Vol/bind12166
ISSN0302-9743

ID: 245667408