Reference : Partial Projection of Sets Represented by Finite Automata, with Application to State-Spa...

	Document type :	Scientific congresses and symposiums : Paper published in a journal
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/2268/34594

Title :	Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization
Language :	English
Author, co-author :	Boigelot, Bernard [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique >]
	Degbomont, Jean-François [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Dép. d'électric., électron. et informat. (Inst.Montefiore) >]
Publication date :	2009
Journal title :	Lecture Notes in Computer Science
Publisher :	Springer
Volume :	5457
Pages :	200-211
On invitation :	No
Audience :	International
ISSN :	0302-9743
e-ISSN :	1611-3349
City :	Berlin Heidelberg
Country :	Germany
Event name :	3rd International Conference on Language and Automata Theory and Applications
Event date :	April 2009
Event place (city) :	Tarragona
Event country :	Spain
Keywords :	[en] automata ; symbolic representations ; number decision diagrams ; set visualization
Funders :	Interuniversity Attraction Poles program MoVES of the Belgian Federal Science Policy Office ; Grant 2.4530.02 of the Belgian Fund for Scientific Research (F.R.S.-FNRS).
Permalink :	http://hdl.handle.net/2268/34594
DOI :	10.1007/978-3-642-00982-2_17
Other URL :	http://www.springerlink.com/content/e7057626827704tt/
Mentions required by the publisher for OA :	The original publication is available at www.springerlink.com

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access BD09.pdf Author postprint 184.25 kB View/Open

All documents in ORBi are protected by a user license.

 

© ULg Library Network |  Feedback |  ORBi legal notices

Dspace v1.5