Computational Modeling and Problem Solving in the Networked World
Springer US
Chapter title |
Mending the Lag Between Commerce and Research: A Logic-Based Workflow Verification Approach
|
---|---|
Chapter number | 10 |
Book title |
Computational Modeling and Problem Solving in the Networked World
|
Published by |
Springer, Boston, MA, January 2003
|
DOI | 10.1007/978-1-4615-1043-7_10 |
Book ISBNs |
978-1-4613-5366-9, 978-1-4615-1043-7
|
Authors |
Henry H. Bi, J. Leon Zhao |