WK_JV2006_ENG_Cover_final:37

First Page		Document Content
Date: 2015-03-09 06:04:53 Alphen aan den Rijn Wolters Kluwer Nancy McKinstry CCH CT Wolters Teleroute Accounting CCH Canadian		WK_JV2006_ENG_Cover_final:37 Add to Reading List Source URL: wolterskluwer.com Download Document from Source Website File Size: 4,58 MB Share Document on Facebook

	The Open-Source LearnLib a ct se * Consist eu DocID: 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 Bellare1 DocID: 1xVjp - View Document
	A.Z. Andis Arietta Education Greeley Memorial Laboratory 370 Prospect Street New Haven, CT 06511 DocID: 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@sieme DocID: 1xTu2 - View Document