Pages that link to "Item:Q3460629"
From MaRDI portal
The following pages link to Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV (Q3460629):
Displaying 2 items.
The following pages link to Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV (Q3460629):
Displaying 2 items.