Author:
Nowak David,Talpin Jean-Pierre,Le Guernic Paul
Publisher
Springer Berlin Heidelberg
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An algebraic theory for behavioral modeling and protocol synthesis in system design;Formal Methods in System Design;2006-03
2. Behavioral Type Inference;Formal Methods and Models for System Design;2004
3. Behavioral Type Inference;Formal Methods and Models for System Design;2004