IEEE - Institute of Electrical and Electronics Engineers, Inc. - Analyzing Workflow Based on Restraints Using TLA

2009 International Conference on Computational Intelligence and Software Engineering

Author(s): Ji Bian
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 December 2009
Conference Location: Wuhan, China, China
Conference Date: 11 December 2009
Page(s): 1 - 5
ISBN (CD): 978-1-4244-4507-3
DOI: 10.1109/CISE.2009.5365546
Advertisement