Browse
All of DSpaceCommunities & CollectionsBy Issue-DateAuthorsTitlesSubjectsThis CommunityBy Issue-DateAuthorsTitlesSubjects
My Account
Discover
AuthorGrosu, Radu (1)Islam, Md Ariful (1)Mita, Sayan. (1)Smolka, Scott A (1)Tannenbaum, Allen (1)Subject
Cardiac Electrophysiology, C. Elegans, Compositional Reasoning, Formal Verification, Nonlinear System, Reachability Analysis (1)
Computer science (1)
... View MoreDate Issued
2015 (1)
Has File(s)Yes (1)