Publicações

Web Services, Formal Methods, and Behavioral Types: 11Th International Workshop, Ws-Fm 2014 Eindhoven, The Netherlands, September 11-12, 2014 and 12Th International Workshop, Ws-Fm/Beat 2015 Madrid, Spain, September 4-5, 2015 Revised Selected Papers

AuthID
P-00K-EJV

Author(s)

Hildebrandt, T

Ravara, A

Van Der Werf, JM

Weidlich, M

Editor(es)

Ravara A.Hildebrandt T.Weidlich M.van der Werf J.M.

Tipo de Documento

Proceedings Paper

Year published

2016

Publicado

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 9421

Conference

11Th International Workshop on Web Services, Formal Methods, and Behavioral Types, Ws-Fm 2014 and 12Th International Workshop on Web Services, Formal Methods, and Behavioral Types, Ws-Fm/Beat 2015, Date: 4 September 2015 through 5 September 2015

Indexing