IPS - PDFSEARCH.IO - Document Search Engine

IPS
Results: 1731

#	Item
111	IPS blue graphicwhite back Add to Reading List Source URL: www.ciosummits.com - Date: 2016-05-10 09:40:18
112	Verification of Concurrent Programs under Relaxed Memory Models Roland Meyer Technische Universit¨ at Kaiserslautern Add to Reading List Source URL: www.ips.tu-braunschweig.de - Date: 2013-09-02 06:28:56
113	Computation and Interaction Jos Baeten (joint work with Bas Luttik and Paul van Tilburg) Centrum Wiskunde & Informatica, Amsterdam, and Computer Science, Eindhoven University of Technology Add to Reading List Source URL: www.ips.tu-braunschweig.de - Date: 2013-08-13 02:39:11
114	PDF Document Add to Reading List Source URL: www.ips.tu-braunschweig.de - Date: 2013-08-14 03:01:02
115	25 Years of Combining Compositionality and Concurrency Ursula Goltz, Rob van Glabbeek and Ernst-Rüdiger Olderog Add to Reading List Source URL: www.ips.tu-braunschweig.de - Date: 2013-08-13 03:02:31
116	CospanSpan(Graph): an algebra for reconfigurable automata networks N. Sabadini, R.F.C. Walters University of Insubria, Como, Italy Königswinter 7-9 August 2013 Add to Reading List Source URL: www.ips.tu-braunschweig.de - Date: 2013-08-13 02:42:34
117	logo_IPS_domicile_multimet Add to Reading List Source URL: www.ffaair.org - Date: 2016-10-28 10:55:12
118	Model-Based Testing: From Theory to Practice and Back Mohammad Mousavi Halmstad University, Sweden 25 Years of Combining Compositionality and Concurrency Add to Reading List Source URL: www.ips.tu-braunschweig.de - Date: 2013-08-13 02:41:32
119	An Early Feedback on Using PRISM Add to Reading List Source URL: www.ips.tu-braunschweig.de - Date: 2013-08-13 02:42:33
120	20 Years of Combining Compositionality & Concurrency of Stochastic Models Holger Hermanns Universität des Saarland, Saarbrücken Add to Reading List Source URL: www.ips.tu-braunschweig.de - Date: 2013-08-13 02:39:12

UPDATE