Back
  1. Home
  3. Detailled Reference
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
1996 • In Proc. 11th Symp. on Logic in Computer Science
Peer reviewed
Permalink
https://hdl.handle.net/2268/163840
 

Files (0)Send toDetailsStatisticsBibliographySimilar publications

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
48 (0 by ULiège)
Number of downloads
0 (0 by ULiège)
More statistics
Scopus citations®
 
21
Scopus citations®
without self-citations
21

Bibliography

Similar publications


Contact ORBi