Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
22 | Fanny Yang, Aaditya Ramdas, Kevin G. Jamieson, Martin J. Wainwright |
A framework for Multi-A(rmed)/B(andit) testing with online FDR control. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
22 | Aaditya Ramdas, Jianbo Chen, Martin J. Wainwright, Michael I. Jordan |
DAGGER: A sequential algorithm for FDR control on DAGs. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
22 | Tomoo Sumida, Hiroyuki Suzuki, Sho Sei Shun, Kazuhito Ohmaki, Takaaki Goto, Kensei Tsuchida |
FDR verification of a system involving a robot climbing stairs. |
ICIS |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Thomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney C. Nogueira, Colin O'Halloran, Augusto Sampaio |
FDR: From Theory to Industrial Application. |
Concurrency, Security, and Puzzles |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Jie Chen 0049, Wenyi Zhang 0001, H. Vincent Poor |
An FDR-oriented approach to multiple sequential fault detection and isolation. |
Allerton |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Murat Moran, Dan S. Wallach |
Verification of STAR-Vote and Evaluation of FDR and ProVerif. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Chang-Hun Lee, Hyo-Sang Shin, Antonios Tsourdos, Zakwan Skaf |
Data analytics development of FDR (Flight Data Recorder) data for airline maintenance operations. |
MFI |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Fanny Yang, Aaditya Ramdas, Kevin G. Jamieson, Martin J. Wainwright |
A framework for Multi-A(rmed)/B(andit) Testing with Online FDR Control. |
NIPS |
2017 |
DBLP BibTeX RDF |
|
22 | Haibing Zhao, Wing Kam Fung |
A powerful FDR control procedure for multiple hypotheses. |
Comput. Stat. Data Anal. |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Vered Madar, Sandra Batista |
FastLSU: a more practical approach for the Benjamini-Hochberg FDR controlling procedure for huge-scale testing problems. |
Bioinform. |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Ran Dai, Rina Barber |
The knockoff filter for FDR control in group-sparse and multitask regression. |
ICML |
2016 |
DBLP BibTeX RDF |
|
22 | Sangkyun Lee 0002, Damian Brzyski, Malgorzata Bogdan |
Fast Saddle-Point Algorithm for Generalized Dantzig Selector and FDR Control with Ordered L1-Norm. |
AISTATS |
2016 |
DBLP BibTeX RDF |
|
22 | Jiang Gui, Casey S. Greene, Con Sullivan, Walter Taylor, Jason H. Moore, Carol Kim |
Testing multiple hypotheses through IMP weighted FDR based on a genetic functional network with application to a new zebrafish transcriptome study. |
BioData Min. |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Ting-Jung Lin, Wei Zhang 0012, Niraj K. Jha |
FDR 2.0: A Low-Power Dynamically Reconfigurable Architecture and Its FinFET Implementation. |
IEEE Trans. Very Large Scale Integr. Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Irene Castro-Conde, Jacobo de Uña-Álvarez |
Power, FDR and conservativeness of BB-SGoF method. |
Comput. Stat. |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Mahdi Aiash, Jonathan Loo |
Introducing a novel authentication protocol for secure services in heterogeneous environments using Casper/FDR. |
Int. J. Commun. Syst. |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Qian Liu, Robert D. Russell |
A performance study of InfiniBand fourteen data rate (FDR). |
SpringSim (HPS) |
2014 |
DBLP BibTeX RDF |
|
22 | Kwang-Ho Seok, Junho Ko, Chul-Won Park, Chul-Hwan Kim, Yoon Sang Kim |
Distributed Sensor Network-Based Virtual FDR System. |
Int. J. Distributed Sens. Networks |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Mahdi Aiash |
A Formally Verified Initial Authentication and Key Agreement Protocol in Heterogeneous Environments Using Casper/FDR. |
NSS |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Thomas Gibson-Robinson |
Using FDR to Model Check CSP-Like Languages. |
CPA |
2013 |
DBLP BibTeX RDF |
|
22 | Yinghui Zhang 0002, Xiaofeng Chen 0001, Jin Li 0002, Hui Li 0006, Fenghua Li |
FDR-ABE: Attribute-Based Encryption with Flexible and Direct Revocation. |
INCoS |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Carlos Reaño, Rafael Mayo 0002, Enrique S. Quintana-Ortí, Federico Silla, José Duato, Antonio J. Peña |
Influence of InfiniBand FDR on the performance of remote GPU virtualization. |
CLUSTER |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Taehoon Kwon, Youngju Kim, Daesik Hong |
Comparison of FDR and HDR Under Adaptive Modulation With Finite-Length Queues. |
IEEE Trans. Veh. Technol. |
2012 |
DBLP DOI BibTeX RDF |
|
22 | John H. Nixon |
Investigations into refinements of Storey's method of multiple hypothesis testing minimising the FDR, and its application to test binomial data. |
Comput. Stat. Data Anal. |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Mahdi Aiash, Glenford E. Mapp, Aboubaker Lasebae, Raphael Chung-Wei Phan, Jonathan Loo |
A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper/FDR. |
EURASIP J. Wirel. Commun. Netw. |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Andrzej Wilczek, Agnieszka Szyplowska, Wojciech Skierucha, Jolanta Ciesla, Viliam Pichler, Grzegorz Janik |
Determination of Soil Pore Water Salinity Using an FDR Sensor Working at Various Frequencies up to 500 MHz. |
Sensors |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Joël Ouaknine, Hristina Palikareva, A. W. Roscoe 0001, James Worrell 0001 |
Recent Developments in FDR. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Aiping Liu, Junning Li, Z. Jane Wang 0001, Martin J. McKeown |
An FDR-controlled, exploratory group modeling for assessing brain connectivity. |
ISBI |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Mahdi Aiash, Glenford E. Mapp, Raphael C.-W. Phan, Aboubaker Lasebae, Jonathan Loo |
A Formally Verified Device Authentication Protocol Using Casper/FDR. |
TrustCom |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Jérôme Vienne, Jitong Chen, Md. Wasi-ur-Rahman, Nusrat S. Islam, Hari Subramoni, Dhabaleswar K. Panda 0001 |
Performance Analysis and Evaluation of InfiniBand FDR and 40GigE RoCE on HPC and Cloud Computing Systems. |
Hot Interconnects |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Ilke Turkmen, Hakan Akbulut |
Airspeed computation with ANN using FDR records. |
SIU |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Yi-Ting Hwang, Shih-Kai Chu, Shyh-Tyan Ou |
Evaluations of FDR-controlling procedures in multiple hypothesis testing. |
Stat. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Klaus Jung, Tim Friede, Tim Beißbarth |
Reporting FDR analogous confidence intervals for the log fold change of differentially expressed genes. |
BMC Bioinform. |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Ping Gong 0004, Jianmin Jiang, Shi Zhang |
Formal Analysis of OWL-S Process Model by FDR. |
APSCC |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Ronny Merkel, Christian Kraetzer, Robert Altschaffel, Eric Clausing, Maik Schott, Jana Dittmann |
Fingerprint Forensics Application Protocol: Semi-automated Modeling and Verification of Watermark-Based Communication Using CASPER and FDR. |
IWDW |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Kwang-Ho Seok, Junho Ko, Chul-Won Park, Yoon Sang Kim |
Virtual FDR Based Frequency Monitoring System for Wide-Area Power Protection. |
FGIT-ASEA/DRBC/EL |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Maarten van Iterson, Judith M. Boer, Renée X. de Menezes |
Filtering, FDR and power. |
BMC Bioinform. |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Justin R. Chumbley, Keith J. Worsley, Guillaume Flandin, Karl J. Friston |
Topological FDR for neuroimaging. |
NeuroImage |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Wojciech Skierucha, Andrzej Wilczek |
A FDR Sensor for Measuring Complex Soil Dielectric Permittivity in the 10-500 MHz Frequency Range. |
Sensors |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Arshad Beg, Andrew Butterfield |
Modelling flash devices with FDR: progress and limits. |
FIT |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Megan Orr, Peng Liu 0012 |
Sample Size Estimation while Controlling False Discovery Rate for Microarray Experiments Using the ssize.fdr Package. |
R J. |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Justin R. Chumbley, Karl J. Friston |
False discovery rate revisited: FDR and topological inference using Gaussian random fields. |
NeuroImage |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Xuefeng Bruce Ling, Harvey J. Cohen, Joseph Jin, Irwin Lau, James Schilling |
FDR made easy in differential feature discovery and correlation analyses. |
Bioinform. |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Hristina Palikareva, Joël Ouaknine, Bill Roscoe |
Faster FDR Counterexample Generation Using SAT-Solving. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Tomasz Mazur, Gavin Lowe |
Counter Abstraction in the CSP/FDR setting. |
AVoCS |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Xin Lu, David L. Perkins |
Re-sampling strategy to improve the estimation of number of null hypotheses in FDR control under strong correlation structures. |
BMC Bioinform. |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Leo Freitas, Jim Woodcock 0001 |
FDR Explorer. |
Refine@ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Sin-Ho Jung, Woncheol Jang |
How accurately can we control the FDR in analyzing microarray data? |
Bioinform. |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Gilles Blanchard, François Fleuret |
Occam's hammer: a link between randomized learning and multiple testing FDR control |
CoRR |
2006 |
DBLP BibTeX RDF |
|
22 | Erhan Baki Ermis, Venkatesh Saligrama |
Detection and Localization in Sensor Networks Using Distributed FDR. |
CISS |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Julie Aubert, Avner Bar-Hen, Jean-Jacques Daudin, Stéphane Robin |
Correction: Determination of the differentially expressed genes in microarray experiments using local FDR. |
BMC Bioinform. |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Sin-Ho Jung |
Sample size for FDR-control in microarray data analysis. |
Bioinform. |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Jianhua Hu, Fei Zou, Fred A. Wright |
Practical FDR-based sample size calculations in microarray experiments. |
Bioinform. |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Dongxiao Zhu, Alfred O. Hero III, Zhaohui S. Qin, Anand Swaroop |
High Throughput Screening of Co-Expressed Gene Pairs with Controlled False Discovery Rate (FDR) and Minimum Acceptable Strength (MAS). |
J. Comput. Biol. |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Julie Aubert, Avner Bar-Hen, Jean-Jacques Daudin, Stéphane Robin |
Determination of the differentially expressed genes in microarray experiments using local FDR. |
BMC Bioinform. |
2004 |
DBLP DOI BibTeX RDF |
|
22 | S. Baskar 0001, A. Alphones, Ponnuthurai N. Suganthan |
Concurrent PSO and FDR-PSO based reconfigurable phase-differentiated antenna array design. |
IEEE Congress on Evolutionary Computation |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Young Ah Ahn, Jin-Young Choi |
FDR verification of ESANP protocol in Ad hoc Network. |
SNPD |
2004 |
DBLP BibTeX RDF |
|
22 | Il-Gon Kim, Jin-Young Choi |
New S/Key System against Dictionary Attack: A Case Study in Casper and CSP/FDR. |
VVEIS |
2004 |
DBLP BibTeX RDF |
|
22 | Chad Verbowski, John Dunagan, Brad Daniels, Yi-Min Wang |
Experience Talk: FDR: A Flight Data Recorder Using Black-BoxAnalysis of Persistent State Changes for Managing Change and Configuration. |
LISA |
2004 |
DBLP BibTeX RDF |
|
22 | Philippa J. Broadfoot, A. W. Roscoe 0001 |
Tutorial on FDR and Its Applications. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
22 | S. J. Creese, Joy N. Reed |
Verifying End-to-End Protocols using Induction with CSP/FDR. |
IPPS/SPDP Workshops |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Clemens Fischer, Heike Wehrheim |
Model-Checking CSP-OZ Specifications with FDR. |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|
22 | S. J. Creese, A. W. Roscoe 0001 |
Verifying an infinite family of inductions simultaneously using data independence and FDR. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
22 | Gavin Lowe |
Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. |
Softw. Concepts Tools |
1996 |
DBLP BibTeX RDF |
|
22 | Gavin Lowe |
Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. |
TACAS |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Lutz Richter |
Mikrocomputer 2: P Stuber (ed) Aargauer Tagblatt AG, FDR (1978) 143 pp, DM 28 (in German). |
Microprocess. Microsystems |
1979 |
DBLP DOI BibTeX RDF |
|
22 | Barrie Nicholson |
Euromicro 78: 17-19 October 1978 Technical University, Munich, FDR. Organized by Euromicro. |
Microprocess. Microsystems |
1979 |
DBLP DOI BibTeX RDF |
|
13 | A. W. Roscoe 0001, Philip J. Armstrong, Pragyesh |
Local Search in Model Checking. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Andrew Butterfield, Art Ó Catháin |
Concurrent Models of Flash Memory Device Behaviour. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Ming-Chang Chiang, Christina Avedissian, Marina Barysheva, Arthur W. Toga, Katie McMahon, Greig I. de Zubicaray, Margaret J. Wright, Paul M. Thompson |
Extending Genetic Linkage Analysis to Diffusion Tensor Images to Map Single Gene Effects on Brain Fiber Architecture. |
MICCAI (1) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Natasha Leporé, Caroline C. Brun, Yi-Yu Chou, Ming-Chang Chiang, Rebecca A. Dutton, Kiralee M. Hayashi, Eileen Luders, Oscar L. Lopez, Howard Aizenstein, Arthur W. Toga, James T. Becker, Paul M. Thompson |
Generalized Tensor-Based Morphometry of HIV/AIDS Using Multivariate Statistics on Deformation Tensors. |
IEEE Trans. Medical Imaging |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier |
Applying CSP || B to information systems. |
Softw. Syst. Model. |
2008 |
DBLP DOI BibTeX RDF |
Information systems, CSP, Compositional verification, B, Combining formalisms |
13 | Ghislain Verdier, Nadine Hilgert, Jean-Pierre Vila |
Optimality of CUSUM Rule Approximations in Change-Point Detection Problems: Application to Nonlinear State-Space Systems. |
IEEE Trans. Inf. Theory |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Nick Moffat, Michael Goldsmith |
Assumption-Commitment Support for CSP Model Checking. |
J. Autom. Reason. |
2008 |
DBLP DOI BibTeX RDF |
Assumption-commitment, Model checking, Refinement, CSP, Compositional reasoning, Assume-guarantee |
13 | Michael Möller 0002, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim |
Integrating a formal method into a software engineering process with UML and Java. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Java, Modelling, Model checking, UML, Formal specification, CSP, Contracts, Object-Z, Runtime checking |
13 | Gavin Lowe |
Specification of communicating processes: temporal logic versus refusals-based refinement. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Refinement testing, Specification, Temporal logic, CSP, Refusals |
13 | Rodrigo Ramos, Augusto Sampaio, Alexandre Mota 0001 |
Framework composition conformance via refinement checking. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
conformance notions, framework composition, refinement, CSP |
13 | Bo Zhang 0017, Nicolas Chenouard, Jean-Christophe Olivo-Marin, Vannary Meas-Yedid |
Statistical colocalization in biological imaging with false discovery control. |
ISBI |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Junning Li, Z. Jane Wang 0001, Martin J. McKeown |
Controlling the false discovery rate in modeling brain functional connectivity. |
ICASSP |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Jiansong Zhang, Kun Tan, Jun Zhao, Haitao Wu, Yongguang Zhang |
A Practical SNR-Guided Rate Adaptation. |
INFOCOM |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Mark Palatucci, Andrew Carlson |
On the chance accuracies of large collections of classifiers. |
ICML |
2008 |
DBLP DOI BibTeX RDF |
|
13 | John Derrick, Heike Wehrheim |
On using data abstractions for model checking refinements. |
Acta Informatica |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Aleksandar S. Dimovski, Ranko Lazic 0001 |
Compositional software verification based on game semantics and process algebra. |
Int. J. Softw. Tools Technol. Transf. |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Joy N. Reed, A. W. Roscoe 0001, Jane E. Sinclair |
Responsiveness and stable revivals. |
Formal Aspects Comput. |
2007 |
DBLP DOI BibTeX RDF |
Model-checking, CSP, Semantic model, Responsiveness |
13 | Chunxiao Zhou, Denise C. Park, Martin Styner, Yongmei Michelle Wang |
ROI Constrained Statistical Surface Morphometry. |
ISBI |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Delphine Nain, Martin Andreas Styner, Marc Niethammer, James J. Levitt, Martha Elizabeth Shenton, Guido Gerig, Aaron F. Bobick, Allen R. Tannenbaum |
Statistical Shape Analysis of Brain Structures Using Spherical Wavelets. |
ISBI |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Wenjun Li, Alain Koyama, Isra Saeed, Thomas Lang |
Identifying Most Responsive Regions in the HIP Using Composite Models. |
ISBI |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Abbas Bigdeli, Colin Sim, Morteza Biglari-Abhari, Brian C. Lovell |
Face Detection on Embedded Systems. |
ICESS |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Il-Gon Kim |
Static Verification of Access Control Model for AXML Documents. |
APWeb/WAIM |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Wenfa Zhan, Huaguo Liang, Feng Shi, Zhengfeng Huang |
A Novel Collaborative Scheme of Test Data Compression Based on Fixed-Plus-variable-Length Coding. |
CSCWD |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Eun-Jun Yoon, Wan-Soo Lee, Kee-Young Yoo |
Secure PAP-Based RADIUS Protocol in Wireless Networks. |
ICIC (3) |
2007 |
DBLP DOI BibTeX RDF |
RADIUS protocol, Off-line password guessing attack, Wireless network, Cryptography, Replay attack |
13 | Ji-Yeoun Lee, Sangbae Jeong, Minsoo Hahn |
Classification of Pathological and Normal Voice Based on Linear Discriminant Analysis. |
ICANNGA (2) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Hyun Seok Kim, Jin-Young Choi |
The Design and Verification of RFID Authentication Protocol for Ubiquitous Computing. |
DEXA Workshops |
2007 |
DBLP DOI BibTeX RDF |
Model Checking, RFID, Authentication Protocol |
13 | Sudipta Kundu, Sorin Lerner, Rajesh Gupta 0001 |
Automated refinement checking of concurrent systems. |
ICCAD |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Christie Marr |
Capturing Conflict and Confusion in CSP. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
Interleaving Concurrency, Petri Nets, CSP, Conflict, Automatic Verification, True Concurrency, Confusion |
13 | Hyun Seok Kim, Jin-Young Choi |
Security and Privacy Analysis of RFID Authentication Protocol for Ubiquitous Computing. |
ICCCN |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Peter Y. H. Wong, Jeremy Gibbons |
A Process-Algebraic Approach to Workflow Specification and Refinement. |
SC@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Yurong Xu, Yi Ouyang 0001, Zhengyi Le, James Ford, Fillia Makedon |
Analysis of range-free anchor-free localization in a wsn under wormhole attack. |
MSWiM |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Mingqiu Song, Xiangpei Hu, Jiahua Li, Guishi Deng |
An Authentication Model Involving Trusted Third Party for M-Commerce. |
ICMB |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Alistair A. McEwan, Steve A. Schneider |
A verified development of hardware using CSP∥B. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|