Back to Results
First PageMeta Content
Finite-state machine / Stephen Cole Kleene / Computing / Logic / Science / Automata theory / Models of computation / XFA


Checking Format Compatibility of Programs Using Automata By
Add to Reading List

Document Date: 2013-08-30 17:27:11


Open Document

File Size: 1,14 MB

Share Result on Facebook

Company

Computer Sciences / /

Event

FDA Phase / /

Facility

The OpenNWA Library / OpenNWA library / Building FA / WALi library / UNIVERSITY OF WISCONSIN / /

IndustryTerm

software artifacts / cross product / /

Organization

National Science Foundation / Final Oral Committee / UNIVERSITY OF WISCONSIN / /

Person

Sally Driscoll / Amanda Burton / Emma Turetsky / Evan E. Driscoll / Steffen Lempp / Tom Reps / Giles Driscoll / Matt Elder / Bill Harris / Somesh Jha / Thomas W. Reps / Akash Lal / Tushar Sharma / Gogul Balakrishnan / Venkatesh Srinivasan / Junghee Lim / Aditya Thakur / Divy Vasal / Prathmesh Prabhu / Nick Kidd / Susan B. Horwitz / Benjamin R. Liblit / Denis Gopan / Ben Liblit / Eric / /

Position

author / original author / Professor / principal author / Associate Professor / /

Product

Final Oral / /

ProvinceOrState

Wisconsin / /

SocialTag