Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: Enhancing JFLAP with automata construction problems and automated feedback
introduction to automata theory , languages and computation .
Finite State Automata and Simple Recurrent Networks
Bandera: a source-level interface for model checking Java programs
Automatic Testing with Formal Methods
Full LR(1) parser generator Hyacc and study on the performance of LR(1) algorithms
Action Language Verifier: An Infinite-State Model Checker for Reactive Software Specifications
How to Learn a Model Checker
A Markov Chain Model Checker
Introduction to the Algebraic Theory of Graph Grammars (A Survey)
TART: Timed-Automata to Real-Time Java Tool
Approximate Symbolic Model Checking of Continuous-Time Markov Chains
WQO is decidable for factorial languages
comparator automata in quantitative verification .
Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems
Towards Machine Learning on the Automata Processor
Hybrid Automata: an algorithmic approach to the specification and verification of hybrid systems
Membership questions for timed and hybrid automata
XFA: Faster Signature Matching with Extended Automata
An error correcting parser for context free grammars that takes less than cubic time
Guarded commands, nondeterminacy and formal derivation of programs
Exosomes are released by cultured cortical neurones
finite automata and their decision problems .
A SAW duplexer with superior temperature characteristics for US-PCS
Optic disk feature extraction via modified deformable model technique for glaucoma analysis
DEAD-box RNA helicase DDX23 modulates glioma malignancy via elevating miR-21 biogenesis