Cachan - PDFSEARCH.IO - Document Search Engine

Cachan
Results: 458

#	Item
71	On the Almighty Wand1 Rémi Brochenina , Stéphane Demria , Etienne Lozesa,b a LSV, ENS Cachan, CNRS, INRIA, France b Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2012-01-03 03:30:30
72	Separation Logic Modulo Theories Juan Antonio Navarro Pérez1 and Andrey Rybalchenko2 1 2 Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2015-06-23 07:31:00
73	Bounding the number of agents, for equivalence too ⋆ V´eronique Cortier1 , Antoine Dallon1,2 , and St´ephanie Delaune2 1 2 Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2016-03-21 04:15:19
74	BI as an Assertion Language for Mutable Data Structures Samin Ishtiaq Peter W. O’Hearn Queen Mary & Westfield College, London Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2015-05-26 06:01:52
75	Complexity Analysis of Continuous Petri Nets Est´ıbaliz Fraca, Serge Haddad March 2013 Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2013-03-24 05:00:26
76	L OGICAL I NVESTIGATIONS ON S EPARATION L OGICS (draft) E UROPEAN S UMMER S CHOOL ON L OGIC , L ANGUAGE AND I NFORMATION BARCELONA , S PAIN , AUGUST 2015 Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2015-09-08 11:25:25
77	IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems ´ Etienne Andr´e1 , Laurent Fribourg2 , Ulrich K¨ uhne3 and Romain Soulat2 Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2012-05-24 04:18:43
78	Concurrent Games on VASS with Inhibition B´eatrice B´erard, Serge Haddad, Mathieu Sassolas, Nathalie Sznajder Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2012-06-25 05:04:38
79	Control of Nonlinear Switched Systems Based on Validated Simulation Adrien Le Co¨ent Laurent Fribourg Julien Alexandre dit Sandretto Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2016-04-29 13:02:38