Pages that link to "Item:Q5902411"
From MaRDI portal
The following pages link to Perspectives of System Informatics (Q5902411):
Displaying 7 items.
- mCRL (Q41340) (← links)
- Analysis of a distributed system for lifting trucks. (Q1400154) (← links)
- Multiparty contract signing over a reliable network (Q2804932) (← links)
- Analysing the BKE-security protocol with \(\mu\)CRL (Q2851074) (← links)
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format (Q3605462) (← links)
- From μCRL to mCRL2 (Q5262965) (← links)
- Discretization of Timed Automata in Timed μCRL à la Regions and Zones (Q5262966) (← links)