No full text
Paper published in a book (Scientific congresses and symposiums)
An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages
Peled, Doron; Wilke, Thomas; Wolper, Pierre
1996In Proc. CONCUR '96
Peer reviewed
 

Files


Full Text
No document available.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Peled, Doron
Wilke, Thomas
Wolper, Pierre  ;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique (parallélisme et banques de données)
Language :
English
Title :
An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages
Publication date :
1996
Event name :
7th International Conference on Concurrency Theory
Event place :
Pisa, Italy
Event date :
August 26-29, 1996
Audience :
International
Main work title :
Proc. CONCUR '96
Publisher :
Springer-Verlag
ISBN/EAN :
3-540-61604-7
Collection name :
Lecture Notes in Computer Science, vol. 1119
Pages :
596-610
Peer reviewed :
Peer reviewed
Available on ORBi :
since 04 March 2014

Statistics


Number of views
32 (0 by ULiège)
Number of downloads
0 (0 by ULiège)

Scopus citations®
 
7
Scopus citations®
without self-citations
3

Bibliography


Similar publications



Contact ORBi