First Page | Document Content | |
---|---|---|
![]() Date: 2007-08-14 11:11:59Voice over IP 9-1-1 5-1-1 Electronic engineering Numbers Electronics Videotelephony Indiana 2-1-1 | Add to Reading List |
![]() | Including Revision 1 dated May 2012 and Revision 2 dated May 2012 Including Revision 1 dated May 2012 and Revision 2 dated May 2012DocID: 1xW32 - View Document |
![]() | Efficient String-Commitment from Weak Bit-Commitment Kai-Min Chung1, , Feng-Hao Liu2, , Chi-Jen Lu3 , and Bo-Yin Yang3 1 2DocID: 1xW2U - View Document |
![]() | General Terms and Conditions of ITEMIS AG for Software Licenses itemis AG Version 2.0.1, General Terms and Conditions of ITEMIS AG for Software LicensesDocID: 1xW2N - View Document |
![]() | Multi-objective discounted reward verification in graphs and MDPs Krishnendu Chatterjee1 , Vojtˇech Forejt2 , and Dominik Wojtczak3 1 2DocID: 1xW0D - View Document |
![]() | What is a Trace? A Runtime Verification Perspective Giles Reger1 1 2DocID: 1xW0i - View Document |