![]() | ![]() |
| 1993 | ||
|---|---|---|
| 1 | Ricardo Civalero, Bengt Jonsson, Joakim Nilsson: Validating Simulations Between Large Nondeterministic Specifications. FORTE 1993: 3-17 | |
| 1 | Bengt Jonsson | [1] |
| 2 | Joakim Nilsson | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page