1
Izdano 2007
Kazalo: ...-Based State Space Exploration -- On Sampling Abstraction of Continuous Time Logic with Durations...
Polni tekst
Elektronski eKnjiga