Observation of dynamic samples using simple coverslip fluidics
- 期刊名称Biotechnic & Histochemistry
- 作者Cheong, BH-P; Shao, F; Ng, TW; Neild, A; Tan, HY
- 卷第86卷
- 期第2期
- 印刷ISSN1052-0295
- 电子ISSN1473-7760
- 文件大小154.30KB
- 发表时间2011-04
- DOI10.3109/10520291003597937
- 页码115-118
Mechanizing set theoryLawrence C. Paulson; Krzysztof Grabczewski · 1996
Book reviewsM. D. Atkinson; David Lester; Lawrence C. Paulson · 1992
Verifying the SET Purchase ProtocolsGiampaolo Bella; Fabio Massacci; Lawrence C. Paulson · 2006
PrefaceBernhard Beckert; Lawrence C. Paulson · 2007
Verifying the unification algorithm in LCFLawrence C. Paulson · 1985
Accountability protocolsBella, Giampaolo; Paulson, Lawrence C. · ACM Transactions on Information and System Security · 2006
Defining functions on equivalence classesPaulson, Lawrence C. · ACM Transactions on Computational Logic · 2006
Mechanizing UNITY in IsabellePaulson, Lawrence C. · ACM Transactions on Computational Logic · 2000
SDAPYang, Yi; Wang, Xinran; Zhu, Sencun; Cao, Guohong · ACM Transactions on Information and System Security · 2008
APSSZhou, Lidong; Schneider, Fred B.; Van Renesse, Robbert · ACM Transactions on Information and System Security · 2005
Accountability protocolsBella, Giampaolo; Paulson, Lawrence C. · ACM Transactions on Information and System Security · 2006
CPMPhilippaerts, Pieter; Younan, Yves; Muylle, Stijn; Piessens, Frank; Lachmund, Sven; Walter, Thomas · ACM Transactions on Information and System Security · 2013
Return-Oriented ProgrammingRoemer, Ryan; Buchanan, Erik; Shacham, Hovav; Savage, Stefan · ACM Transactions on Information and System Security · 2012
Efficient Attributes for Anonymous CredentialsCamenisch, Jan; Groß, Thomas · ACM Transactions on Information and System Security · 2012
BlueBoXChari, Suresh N.; Cheng, Pau-Chen · ACM Transactions on Information and System Security · 2003
Split-ballot votingMoran, Tal; Naor, Moni · ACM Transactions on Information and System Security · 2010