Formal Modeling of RESTful Systems Using Finite-State Machines

Ivan Zuzak, Ivan Budiselic, Goran Delac. Formal Modeling of RESTful Systems Using Finite-State Machines. In Sören Auer, Oscar Díaz, George A. Papadopoulos, editors, Web Engineering - 11th International Conference, ICWE 2011, Paphos, Cyprus, June 20-24, 2011. Volume 6757 of Lecture Notes in Computer Science, pages 346-360, Springer, 2011. [doi]

Authors

Ivan Zuzak

This author has not been identified. Look up 'Ivan Zuzak' in Google

Ivan Budiselic

This author has not been identified. Look up 'Ivan Budiselic' in Google

Goran Delac

This author has not been identified. Look up 'Goran Delac' in Google