Author:
Greulich Christoph,Edelkamp Stefan
Publisher
Springer International Publishing
Reference48 articles.
1. Lecture Notes in Computer Science;A Armando,2006
2. Bhat, U.: Finite capacity assembly-like queues. Queueing Syst. 1, 85–101 (1986)
3. Lecture Notes in Computer Science;A Biere,1999
4. Bošnački, D., Dams, D.: Integrating real time into spin: a prototype implementation. In: Budkowski, S., Cavalli, A., Najm, E. (eds.) FORTE/PSTV, vol. 6, pp. 423–438. Springer, New York (1998)
5. Bracht, U., Geckler, D., Wenzel, S.: Digitale Fabrik: Methoden und Praxisbeispiele. Springer, Heidelberg (2011)