No full text
Paper published in a book (Scientific congresses and symposiums)
Partial-Order Methods for Model Checking: From Linear Time to Branching Time
Willems, Bernard; Wolper, Pierre
1996In Proc. 11th Symp. on Logic in Computer Science
Peer reviewed
 

Files


Full Text
No document available.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Willems, Bernard
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 :
Partial-Order Methods for Model Checking: From Linear Time to Branching Time
Publication date :
1996
Event name :
11th Symp. on Logic in Computer Science
Event organizer :
IEEE Computer Society
Event place :
New Brunswick, New Jersey, United States
Event date :
July 27-30, 1996
Audience :
International
Main work title :
Proc. 11th Symp. on Logic in Computer Science
Publisher :
IEEE Computer Society
ISBN/EAN :
0-8186-7463-6
Pages :
294-303
Peer reviewed :
Peer reviewed
Available on ORBi :
since 04 March 2014

Statistics


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

Scopus citations®
 
20
Scopus citations®
without self-citations
20

Bibliography


Similar publications



Contact ORBi