Publication schedule
-
№2 June 2024
-
№3 September 2024
-
№4 December 2024
Articles by keywords "partially ordered multisets"
Verifying correctness of hdl-model behavior on the basis of dynamical trace matching
- Year: 2014
- Issue: 2
- 329
- 5559
- Pages: 130-142