First Page | Document Content | |
---|---|---|
![]() Date: 2011-05-29 08:12:43Intuit Business CCH Canadian Accounting software CCH CT | Add to Reading List |
![]() | The Open-Source LearnLib a ct se * Consist euDocID: 1xVKt - View Document |
![]() | Parts of this work previously appeared at ACM CCSBN06] and CT-RSABN07]. This is the full version. New Multi-Signature Schemes and a General Forking Lemma Mihir Bellare1DocID: 1xVjp - View Document |
![]() | A.Z. Andis Arietta Education Greeley Memorial Laboratory 370 Prospect Street New Haven, CT 06511DocID: 1xUY3 - View Document |
![]() | On Using Results of Code-level Bounded Model Checking in Assurance Cases Carmen Cˆ arlan, Daniel Ratiu, and Bernhard Sch¨atz fortiss GmbH, Munich, email: Siemens CT, Munich, email: daniel.ratiu@siemeDocID: 1xTu2 - View Document |