Pages that link to "Item:Q5756737"
From MaRDI portal
The following pages link to Check It Out: On the Efficient Formal Verification of Live Sequence Charts (Q5756737):
Displaying 2 items.
The following pages link to Check It Out: On the Efficient Formal Verification of Live Sequence Charts (Q5756737):
Displaying 2 items.