- Mathematical Foundations of Computer Science 1997
1997/01/01 by PrÃvara, Igor, RužiÄka, Peter, Igor Prívara +1 · 2 citations
Computer Science · Engineering · Mathematics · #Computability, Logic, AI Algorithms #Computer science #Decidability #Discrete mathematics #Engineering #Management science #Mathematics #Nondeterministic algorithm #Teaching and Learning Programming #Theoretical computer science #Transition system
- Stubborn sets for reduced state space generation
1991/01/01 by Antti Valmari · 2 citations
Computer Science · Mathematics · #Advanced Software Engineering Methodologies #Algorithm #Computer science #Concurrency #Distributed computing #Formal Methods in Verification #Invariant (physics) #Liveness #Mathematics #Petri Nets in System Modeling #Petri net #Programming language #Reachability #Set (abstract data type) #State (computer science) #State space #Stochastic Petri net #Theoretical computer science #Transition system