State/Event Software Verification for Branching-Time Specifications (bibtex)
by Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith
Reference:
State/Event Software Verification for Branching-Time SpecificationsSagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut VeithIntegrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings (Judi Romijn, Graeme Smith, Jaco van de Pol, eds.), pages 53-69, 2005, Springer.
Bibtex Entry:
@inproceedings{DBLP:conf/ifm/ChakiCGOSTV05,
  author = {Sagar Chaki and Edmund M. Clarke and Orna Grumberg and Jo{\"e}l   Ouaknine and Natasha Sharygina and Tayssir Touili and Helmut Veith},
  title = {State/Event Software Verification for Branching-Time Specifications},
  year = {2005},
  booktitle = {Integrated Formal Methods, 5th International Conference, IFM 2005,   Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings},
  editor = {Judi Romijn and Graeme Smith and Jaco van de Pol},
  pages = {53--69},
  publisher = {Springer},
  isbn = {3-540-30492-4},
  url = {http://dx.doi.org/10.1007/11589976\_5}
}
Powered by bibtexbrowser