Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets
Bisimulations for Nondeterministic Labeled Markov Processes
Bisimulations Meet PCTL Equivalences for Probabilistic Automata
Bisimulations of enrichments
Bit-Blasting ACL2 Theorems
Blending margins
Blind graph rewriting systems
Bootstrapping Inductive and Coinductive Types in HasCASL
Borel Hierarchy and Omega Context Free Languages
Borel Ranks and Wadge Degrees of Context Free Omega Languages
Bounded Linear Logic, Revisited
Bounded LTL Model Checking with Stable Models
Bounded Model Checking of Multi-threaded Software using SMT solvers
Bounded Reachability for Temporal Logic over Constraint Systems
Bounded Satisfiability for PCTL
Bounded Termination of Monotonicity-Constraint Transition Systems
Bounded Underapproximations
Bounds on the Automata Size for Presburger Arithmetic
Branching Bisimilarity with Explicit Divergence
Branching-time model checking of one-counter processes