Reference : PAT: Towards flexible verification under fairness
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/190
PAT: Towards flexible verification under fairness
English
Sun, J. [> >]
Liu, Y. [> >]
Dong, J.-S. [> >]
Pang, Jun mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2009
Proc. 21th International Conference on Computer Aided Verification
Springer-Verlag
Lecture Notes in Computer Science 5643
709–714
Yes
International
Proc. 21th International Conference on Computer Aided Verification
2009
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/190

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
CAV09.pdfAuthor preprint76.37 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.