Paper published in a book (Scientific congresses, symposiums and conference proceedings)
An Algorithm for Probabilistic Alternating Simulation
Zhang, Chenyi; Pang, Jun
2012In Proc. 38th International Conference on Current Trends in Theory and Practice of Computer Science
Peer reviewed
 

Files


Full Text
SOFSEM12.pdf
Author postprint (364.68 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2012-061
Author, co-author :
Zhang, Chenyi ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Pang, Jun  ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
An Algorithm for Probabilistic Alternating Simulation
Publication date :
2012
Event name :
38th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM)
Event place :
Špindlerův Mlýn, Czechia
Event date :
2012
Audience :
International
Main work title :
Proc. 38th International Conference on Current Trends in Theory and Practice of Computer Science
ISBN/EAN :
978-3-642-27660-6
Collection name :
Lecture Notes in Computer Science 7147
Pages :
431-442
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 22 April 2013

Statistics


Number of views
47 (2 by Unilu)
Number of downloads
50 (0 by Unilu)

Scopus citations®
 
5
Scopus citations®
without self-citations
3

Bibliography


Similar publications



Contact ORBilu