Papers tagged finite state machines A Method for Synthesizing Sequential Circuits Efficient String Matching: An Aid to Bibliographic Search STATECHARTS: A VISUAL FORMALISM FOR COMPLEX SYSTEMS Theory in Programming Practice Browse All Keywords By Category