WK_JV2005_Cover_ENGELS_final:34

First Page		Document Content
Date: 2015-03-09 09:32:22 Alphen aan den Rijn Wolters Kluwer CCH Nancy McKinstry CT Wolters Lippincott Williams & Wilkins Legal research Teleroute Accounting Nelson Thornes CCH Canadian		WK_JV2005_Cover_ENGELS_final:34 Add to Reading List Source URL: wolterskluwer.com Download Document from Source Website File Size: 1,76 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