Web Services and Formal Methods, Fachbücher von Reiko Heckel, Marlon Dumas

Algebra and Coalgebra in Computer Science, Fachbücher von Reiko Heckel, Stefan Milius

Graph Transformation, Specifications, and Nets, Fachbücher von Gabriele Taentzer, Reiko Heckel

Web Services, Formal Methods, and Behavioral Types, Fachbücher von Jan Martijn van der Werf, Thomas Hildebrandt, Matthia...

Web Services, Formal Methods, And Behavioral Types 11th International

Web Services And Formal Methods 5th International Workshop, Ws-fm

Graph Transformation for Software Engineers, Fachbücher von Gabriele Taentzer, Reiko Heckel

Advances in Databases and Information Systems, Fachbücher von Marlon Dumas, Panagiotis Karras, Ladjel Bellatreche, Raimu...

Formal Methods for Web Services, Fachbücher

Formal Methods: Foundations and Applications, Fachbücher

Perspectives in Business Informatics Research, Fachbücher von Raimundas Matulevicius, Marlon Dumas

Automata based formal approach for verification of Web Service, Fachbücher von Danapaquiame N.

Business Process Management, Fachbücher von Chiara Ghidini, Jörg Becker, Dirk Fahland, Marlon Dumas

Formal Methods for Protocol Engineering and Distributed Systems, Fachbücher

Formal Methods for Computer/Communications Protocols and Software, Fachbücher

Formal Methods and Stochastic Models for Performance Evaluation, Fachbücher