Kupferman, Orna Multi-Valued Reasoning about Reactive Systems

Multi-Valued Reasoning about Reactive Systems

9781638281382
Kupferman, Orna
1638281386
Böcker och tidskrifter