BH akademski imenik

Nazad

Aida Čaušević, C. Seceleanu, P. Pettersson

19 18. 10. 2010.

Modeling and Reasoning about Service Behaviors and Their Compositions

Leveraging Applications of Formal Methods

Pretplatite se na novosti o BH Akademskom Imeniku

Ova stranica koristi kolačiće da bi vam pružila najbolje iskustvo