| Document Date: 2012-06-12 08:05:15
Open Document File Size: 538,08 KBShare Result on Facebook
/ Facility Computing Imperial College / / IndustryTerm reactive systems / transition systems / local fire suppression devices / / Organization Fariba Sadri Department of Computing Imperial College London / / Person David Harel / Wolfgang Reisig / Donald Knuth / Robert Kowalski / Fariba Sadri / / Position security guard / general model of Computing / /
SocialTag |
A Logic-Based Framework for Reactive Systems Robert Kowalski and Fariba Sadri Department of Computing Imperial College London {rak,[removed]}