First Page | Document Content | |
---|---|---|
![]() Date: 2014-02-18 16:53:02New Democratic Party Socialist International La Verendrye Emerson Dauphin Selkirk Parallel Virtual Machine Fort Rouge Lakeside Politics of Canada Manitoba Provinces and territories of Canada | Add to Reading List |
![]() | Automatic Generation of Local Repairs for Boolean Programs Roopsha Samanta, Jyotirmoy V. Deshmukh and E. Allen Emerson Department of Electrical and Computer Engineering and Department of Computer Sciences, The UniversityDocID: 1xVs1 - View Document |
![]() | An Algorithmic Framework for Synthesis of Concurrent Programs E. Allen Emerson and Roopsha Samanta Dept. of Computer Science and Computer Engineering Research Centre, University of Texas, Austin, TX 78712, USA. {emerson,DocID: 1xUxz - View Document |
![]() | PDF DocumentDocID: 1xRYe - View Document |
![]() | PDF DocumentDocID: 1xtsR - View Document |
![]() | PDF DocumentDocID: 1xaDd - View Document |