Synthesis of distributed programs

Kotkas, V. (2003). Synthesis of distributed programs. Proceedings of the 8th Symposium on Programming Languages and Software Tools SPLST´03, Kuopio 2003. Ed. Kilpeläinen, P.; Päivinen, N. University of Kuopio, 21−33. (Report A/2003/01).
publitseeritud konverentsiettekanne
Kotkas, V.
  • Inglise
Proceedings of the 8th Symposium on Programming Languages and Software Tools SPLST´03, Kuopio 2003
Kilpeläinen, P.; Päivinen, N.
University of Kuopio
Report A/2003/01
2003
2133
Ilmunud
3.4. Artiklid/ettekanded, mis on avaldatud valdkonda 3.1. mittekuuluvates konverentsikogumikes

Viited terviktekstile

Lisainfo