Press Release November 9, 2011

First Page		Document Content
Date: 2011-12-07 05:19:32 Lippincott Williams & Wilkins CT Wolter Medknow Publications Ovid Technologies Rudolf Wolters Publishing Academic publishing Wolters Kluwer		Press Release November 9, 2011 Add to Reading List Source URL: www.medknow.com Download Document from Source Website File Size: 37,51 KB 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