Cited By
View all- Pedersen JChalmers K(2023)Toward Verifying Cooperatively Scheduled Runtimes Using CSPFormal Aspects of Computing10.1145/360594235:4(1-45)Online publication date: 21-Nov-2023
- Lowe G(2022)Parameterized verification of systems with component identities, using view abstractionInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-022-00648-024:2(287-324)Online publication date: 1-Apr-2022