1![October 9, 2018 Senator John Thune, Chairman Senator Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, & Transportation Russell Senate Office Building, Room 253 Washington, DC 20002 October 9, 2018 Senator John Thune, Chairman Senator Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, & Transportation Russell Senate Office Building, Room 253 Washington, DC 20002](https://www.pdfsearch.io/img/793e9de44f65725fd35580d98e75d963.jpg) | Add to Reading ListSource URL: www.epic.orgLanguage: English - Date: 2018-10-09 19:25:42
|
---|
2![August 21, 2018 The Honorable John Thune, Chairman The Honorable Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, & Transportation 512 Dirksen Senate Office Building Washington, DC 20510 August 21, 2018 The Honorable John Thune, Chairman The Honorable Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, & Transportation 512 Dirksen Senate Office Building Washington, DC 20510](https://www.pdfsearch.io/img/3ec3700d5ef57c14535c7f1b2d37d31b.jpg) | Add to Reading ListSource URL: www.epic.orgLanguage: English - Date: 2018-08-21 13:28:01
|
---|
3![Building the Billion-Mulmod PC Bo-Yin Yang Institute of Information Science Academia Sinica Taipei, Taiwan Building the Billion-Mulmod PC Bo-Yin Yang Institute of Information Science Academia Sinica Taipei, Taiwan](https://www.pdfsearch.io/img/ee5d31fb3a55ee0116c5b69849e42c17.jpg) | Add to Reading ListSource URL: www.hyperelliptic.orgLanguage: English - Date: 2009-09-26 00:44:36
|
---|
4![June 27, 2018 The Honorable Ralph Abraham, Chairman The Honorable Don Beyer, Ranking Member House Committee on Science, Space, and Technology Subcommittee on Oversight 2321 Rayburn House Office Building June 27, 2018 The Honorable Ralph Abraham, Chairman The Honorable Don Beyer, Ranking Member House Committee on Science, Space, and Technology Subcommittee on Oversight 2321 Rayburn House Office Building](https://www.pdfsearch.io/img/0bcd342f99db9bc8532b9d292deeda29.jpg) | Add to Reading ListSource URL: www.epic.orgLanguage: English - Date: 2018-06-27 07:52:28
|
---|
5![June 25, 2018 House Committee on Science, Space, and Technology Subcommittee on Research and Technology Subcommittee on Energy 2321 Rayburn House Office Building Washington, DC 20515 June 25, 2018 House Committee on Science, Space, and Technology Subcommittee on Research and Technology Subcommittee on Energy 2321 Rayburn House Office Building Washington, DC 20515](https://www.pdfsearch.io/img/8ad1a3a6b323b8815cc61697a8224f3c.jpg) | Add to Reading ListSource URL: www.epic.orgLanguage: English - Date: 2018-06-25 16:26:03
|
---|
6![Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road,](https://www.pdfsearch.io/img/acea8ad8206f59b9d92e3752f0059ca1.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2012-05-10 09:21:45
|
---|
7![Building Power Consumption Models from Executable Timed I/O Automata Specifications ∗ Benoît Barbot , Marta Kwiatkowska, Alexandru Mereacre and Nicola Paoletti Department of Computer Science, University of Oxford, UK Building Power Consumption Models from Executable Timed I/O Automata Specifications ∗ Benoît Barbot , Marta Kwiatkowska, Alexandru Mereacre and Nicola Paoletti Department of Computer Science, University of Oxford, UK](https://www.pdfsearch.io/img/874759049652faacfe95b108c0ae279b.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-02-03 11:53:39
|
---|
8![August 15, 2018 The Honorable John Thune, Chairman The Honorable Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, & Transportation 512 Dirksen Senate Office Building Washington, DC 20510 August 15, 2018 The Honorable John Thune, Chairman The Honorable Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, & Transportation 512 Dirksen Senate Office Building Washington, DC 20510](https://www.pdfsearch.io/img/1e16c59081187fb88f7848614e04f651.jpg) | Add to Reading ListSource URL: www.epic.orgLanguage: English - Date: 2018-08-15 13:36:42
|
---|
9![October 9, 2018 Senator John Thune, Chairman Senator Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, & Transportation Russell Senate Office Building, Room 253 Washington, DC 20002 October 9, 2018 Senator John Thune, Chairman Senator Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, & Transportation Russell Senate Office Building, Room 253 Washington, DC 20002](https://www.pdfsearch.io/img/9071496b394e50aa1648e20afd8047f9.jpg) | Add to Reading ListSource URL: www.epic.orgLanguage: English - Date: 2018-10-09 19:06:46
|
---|
10![September 24, 2018 The Honorable John Thune, Chairman The Honorable Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, and Transportation 512 Dirksen Senate Office Building Washington, DC 20510 September 24, 2018 The Honorable John Thune, Chairman The Honorable Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, and Transportation 512 Dirksen Senate Office Building Washington, DC 20510](https://www.pdfsearch.io/img/178f94de499e21ef286979d6ddddf295.jpg) | Add to Reading ListSource URL: www.epic.orgLanguage: English - Date: 2018-09-24 14:29:22
|
---|