Nr. 346 (1991): PB-346 Elementary Transition Systems and Refinement

Publiceret: 1991-03-01

Articles