Author:
Perry Jason,Arkoudas Konstantine,Chiang Jason,Chadha Ritu,Apgar Daniel,Whittaker Keith
Subject
Law,Hardware and Architecture,Software
Reference24 articles.
1. An application of formal methods to cognitive radios;Arkoudas,2011
2. An efficient policy engine for dynamic spectrum access;Arkoudas,2011
3. Automated policy analysis;Arkoudas,2012
4. Continuations and the nature of quantification;Barker;Natural Language Semantics,2002
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献