Everydayrailsrspec Sample
An Introduction to IBIS Models and Model Validation
Computing with Finite Automata 290N: The Unknown Component Problem Lecture 9.
Efficient Solution of Language Equations Using Partitioned Representations Alan Mishchenko UC Berkeley, US Robert Brayton UC Berkeley, US Roland Jiang.
Efficient Solution of Language Equations Using Partitioned Representations