Original languageEnglish
Title of host publicationHaifa Verification Conference 2011
Editors sn
Place of PublicationBerlin
PublisherSpringer Verlag
Pages50-65
Number of pages16
StatePublished - 2012
EventHaifa Verification Conference 2011 - Berlin
Duration: 6 Dec 20118 Dec 2011

Publication series

Name
PublisherSpringer Verlag
NameLecture Notes in Computer Science
Volume7261
ISSN (Print)0302-9743

Conference

ConferenceHaifa Verification Conference 2011
Period6/12/118/12/11

    Research areas

  • Conf.proc. > 3 pag

ID: 2940530