Reference : Partial Projection of Sets Represented by Finite Automata, with Application to State-Spa...
Scientific congresses and symposiums : Paper published in a journal
Engineering, computing & technology : Computer science
http://hdl.handle.net/2268/34594
Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization
English
Boigelot, Bernard mailto [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique >]
Degbomont, Jean-François mailto [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Dép. d'électric., électron. et informat. (Inst.Montefiore) >]
2009
Lecture Notes in Computer Science
Springer
5457
200-211
Yes
No
International
0302-9743
1611-3349
Berlin Heidelberg
Germany
3rd International Conference on Language and Automata Theory and Applications
April 2009
Tarragona
Spain
[en] automata ; symbolic representations ; number decision diagrams ; set visualization
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).
http://hdl.handle.net/2268/34594
10.1007/978-3-642-00982-2_17
http://www.springerlink.com/content/e7057626827704tt/
The original publication is available at www.springerlink.com

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
BD09.pdfAuthor postprint184.25 kBView/Open

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.