Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Opera/Pubblicazioni

Espandi

Riduci

Pubblicazioni

Model Checking, Synthesis, and Learning Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Export / Download

PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)

Model checking, synthesis, and learning
ID: 2786785