Reference : On combining state space reductions with global fairness assumptions
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/199
On combining state space reductions with global fairness assumptions
English
Zhang, Shaojie [National University of Singapore]
Sun, Jun [National University of Singapore]
Pang, Jun mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Liu, Yang [National University of Singapore]
Dong, Jinsong [National University of Singapore]
2011
Proc. 17th International Symposium on Formal Methods
Springer-Verlag
Lecture Notes in Computer Science 6664
432-447
Yes
International
978-3-642-21436-3
17th International Symposium on Formal Methods
2011
Limerick
Ireland
Researchers ; Students
http://hdl.handle.net/10993/199

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
FM11.pdfAuthor preprint134.73 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.