DTU Compute technical report¤Pragmatics annotated coloured petri nets for protocol software generation and vertification
0,00 kr
Udsolgt
ISBN
1678937