Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016 held as part of the european joint conferences on theory and practice of software, ETAPS 2016 Eindhoven, The Netherlands, April 2-8, 2016 proceedings

Référence Lecture notes in computer science, 9636, page (7-8)
Publication Publié, 2016

Article révisé par les pairs

Titre:	Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016 held as part of the european joint conferences on theory and practice of software, ETAPS 2016 Eindhoven, The Netherlands, April 2-8, 2016 proceedings
Auteur:	Chechik, Marsha; Raskin, Jean-François
Informations sur la publication:	Lecture notes in computer science, 9636, page (7-8)
Statut de publication:	Publié, 2016
Sujet CREF:	Informatique générale
	Informatique mathématique
Note générale:	SCOPUS: cp.k
Langue:	Anglais
Identificateurs:	urn:issn:0302-9743
	info:doi/10.1007/978-3-662-49674-9
	info:scp/84964037928

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.