Skip to main navigation Skip to search Skip to main content

Rigorous semantics and refinement for business processes

  • Klaus-Dieter Schewe

Research output: Chapter in Book/Report/Conference proceedingConference proceedingspeer-review

Original languageEnglish
Title of host publicationProceedings of the 11th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer
PublisherCEUR-WS.org 2015
Pages1-2
Number of pages2
Volume1356
Publication statusPublished - May 2015

Publication series

NameCEUR Workshop Proceedings

Fields of science

  • 102 Computer Sciences
  • 102010 Database systems
  • 102011 Formal languages
  • 102014 Information design
  • 102015 Information systems
  • 102022 Software development
  • 509018 Knowledge management

JKU Focus areas

  • Computation in Informatics and Mathematics

Cite this