Author:
Halbwachs Nicolas,Lagnier Fabienne,Raymond Pascal
Reference34 articles.
1. D. Austry and G. Boudol. Algébre de processus et synchronisation. TCS, 30, April 1984.
2. M. Abdi and L. Lamport. Composing specifications. In J.W. de Bakker, W.-P. de Roever, and G. Rozemberg, editors, REX Workshop on Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, LNCS 430, Springer Verlag, May 1989.
3. M. Abadi, L. Lamport, and P. Wolper. Realizable and unrealizable specifications of reactive systems. In G. Ausiello, M. Dezani-Ciancaglini, and S. Ronchi Delia Rocca, editors, 16th ICALP, pages 1–17. LNCS 372, Springer Verlag, July 1989.
4. K. A. Bartlett, R. K. Brayton, G. D. Hachtel, R. M. Jacoby, R. Rudell, A. Sangiovanni-Vincentelli, and A. Wang. Multilevel logic minimization using implicit don’t cares. IEEE Transactions on CAD/ICAS, CAD-7(6):723–739, June 1988.
5. A. Bouajjani, J. C. Fernandez, N. Halbwachs, P. Raymond, and C. Ratel. Minimal state graph generation. Science of Computer Programming, 18:247–269, 1992.
Cited by
49 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献