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 :
Institute of Electrical and Electronics Engineers (IEEE)
