Author:
Ngo Van Chan,Talpin Jean-Pierre,Gautier Thierry,Le Guernic Paul
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Study in Logic and the Foundations of Mathematics;W. Ackerman,1954
2. Berry, G.: The Foundations of Esterel. In: Proof, Language and Interaction: Essay in Honor of Robin Milner, MIT Press (2000)
3. Borger, E., Gradel, E., Gurevich, Y.: The Classical Decision Problem. Spinger-Verlag (1996)
4. Besnard, L., Gautier, T., Le Guernic, P., Talpin, J.-P.: Compilation of Polychronous Data Flow Equations. In: Synthesis of Embedded Software. Springer (2010)
5. Benveniste, A., LeGuernic, P.: Hybrid Dynamical Systems Theory and the Signal Language. IEEE Transactions on Automatic Control 35(5), 535–546 (1990)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献