© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Statecharts for Business Process Modelling
A Lauder and S Kent
In J Filipe B Sharp and J Cordeiro, editors, Enterprise Information Systems, pages 182-196. Kluwer Academic Publishers, 2001.Bibtex Record
@incollection{1601,
author = {A Lauder and S Kent },
title = {{Statecharts for Business Process Modelling}},
month = {unknown},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2001/1601},
publication_type = {incollection},
submission_id = {28039_1048586852},
booktitle = {Enterprise Information Systems},
publisher = {Kluwer Academic Publishers},
editor = {B Sharp, J Filipe and J Cordeiro},
}