Labeled Transition Systems

MaRDI QIDQ7361829FDO

Authors Anders Schlichtkrull, Morten Konggaard Schou, Jiří Srba, Dmitriy Traytel

Publication date 31 October 2023

Cited in

(2)

• Pushdown Systems
• Stratified Datalog and Program Analysis

This page was built for software: Labeled Transition Systems