Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1--3, 2005, Proceedings
This volume contains the proceedings of two international workshops EPEW and WS-FM 2015. These were colocated to gather the researchers working across the spectrum of techniques for modelling, specification, analysis and verification of the behavior of computer systems and business processes. This proceedings contains a selection of 20 research contributions, out of 59 submissions, which went through a rigorous review process by international reviewers.
%0 Book
%1 BravettiKloulZavattaro2005
%B Lecture Notes in Computer Science
%C Berlin
%D 2005
%E Bravetti, Mario
%E Kloul, Le\"ıla
%E Zavattaro, Gianluigi
%I Springer
%K 01624 103 springer book conference web service business process logic
%R 10.1007/11549970
%T Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1--3, 2005, Proceedings
%V 3670
%X This volume contains the proceedings of two international workshops EPEW and WS-FM 2015. These were colocated to gather the researchers working across the spectrum of techniques for modelling, specification, analysis and verification of the behavior of computer systems and business processes. This proceedings contains a selection of 20 research contributions, out of 59 submissions, which went through a rigorous review process by international reviewers.
%@ 978-3-540-28701-8
@book{BravettiKloulZavattaro2005,
abstract = {This volume contains the proceedings of two international workshops EPEW and WS-FM 2015. These were colocated to gather the researchers working across the spectrum of techniques for modelling, specification, analysis and verification of the behavior of computer systems and business processes. This proceedings contains a selection of 20 research contributions, out of 59 submissions, which went through a rigorous review process by international reviewers.},
added-at = {2017-04-08T21:00:25.000+0200},
address = {Berlin},
biburl = {https://www.bibsonomy.org/bibtex/2ebc6ee3057c2043020b05b97274f482a/flint63},
doi = {10.1007/11549970},
editor = {Bravetti, Mario and Kloul, Le\"{\i}la and Zavattaro, Gianluigi},
file = {SpringerLink:2005/BravettiKloulZavattaro2005.pdf:PDF;Springer Product Page:http\://www.springer.com/978-3-540-28701-8:URL},
groups = {public},
interhash = {9f354da27680b55fca83eb883c217a17},
intrahash = {ebc6ee3057c2043020b05b97274f482a},
isbn = {978-3-540-28701-8},
issn = {0302-9743},
keywords = {01624 103 springer book conference web service business process logic},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2017-07-13T17:59:39.000+0200},
title = {Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1--3, 2005, Proceedings},
username = {flint63},
volume = 3670,
year = 2005
}