Browse
All of DSpaceCommunities & CollectionsBy Issue-DateAuthorsTitlesSubjectsThis CommunityBy Issue-DateAuthorsTitlesSubjects
My Account
Discover
AuthorCleaveland, Rance. (1)Gorlin, Andrey (1)Ramakrishnan, C. R. (1)Smolka, Scott A (1)Stoller, Scott D (1)Subject
branching time, logic programming, model checking, probabilistic systems (1)
Computer science (1)
... View MoreDate Issued
2016 (1)
Has File(s)Yes (1)