Author:
Ma Jiaying,Han Wei,Ding Zuohua
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Ascher, U.M., Petzold, L.R.: Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations. Society for Industrial & Applied Mathematis, Philadelphia (1998)
2. Avrunin, G.S., Buy, U.A., Corbett, J.C., Dillon, L.K., Wileden, J.C.: Automated Analysis of Concurrent Systems With The Constrained Expression Toolset. IEEE Transactions on Software Engineering 17(11), 1204–1222 (1991)
3. Brückner, I.: Slicing CSP-OZ Specifications. In: Proc. of the 16th Nordic Workshop on Programming Theory, pp. 71–73. Uppsala University, Sweden (2004)
4. Lecture Notes in Computer Science;I. Brückner,2005
5. Chang, C.K., Wang, H.: A Slicing Algorithm of Concurrency Modeling Based on Petri Nets. In: Proc. of the Intermational Conf. on Parallel Processing 1986, pp. 789–792. IEEE Computer Society Press (1986)