Search Page
Save citations to file
Email citations
Send citations to clipboard
Add to Collections
Add to My Bibliography
Create a file for external citation management software
Your saved search
Your RSS Feed
Search Results
3 results
Filters applied: . Clear all
Results are displayed in a computed author sort order.
The Results By Year timeline is not available.
Page 1
Simplified Testing of the Bond Strength of Adhesives Used for Bonded Anchors.
Materials (Basel). 2021 Jun 15;14(12):3298. doi: 10.3390/ma14123298.
Materials (Basel). 2021.
PMID: 34203620
Free PMC article.
On parameter synthesis by parallel model checking.
Barnat J, Brim L, Krejcí A, Streck A, Safránek D, Vejnár M, Vejpustek T.
Barnat J, et al.
IEEE/ACM Trans Comput Biol Bioinform. 2012 May-Jun;9(3):693-705. doi: 10.1109/TCBB.2011.110.
IEEE/ACM Trans Comput Biol Bioinform. 2012.
PMID: 21788679
Item in Clipboard
High-performance analysis of biological systems dynamics with the DiVinE model checker.
Barnat J, Brim L, Safránek D.
Barnat J, et al.
Brief Bioinform. 2010 May;11(3):301-12. doi: 10.1093/bib/bbp074. Epub 2010 Apr 28.
Brief Bioinform. 2010.
PMID: 20478855
Item in Clipboard
Cite
Cite