Original languageEnglish
Title of host publication18th International Workshop on Model Checking Software (SPIN)
EditorsA Groce, M Musuvathi
Place of PublicationBerlin
PublisherSpringer
Pages177-182
Number of pages6
ISBN (Print)987-3-642-22305-1
Publication statusPublished - 2011
EventSPIN 2011 - Berlin
Duration: 14 Jul 201115 Jul 2011

Publication series

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

Conference

ConferenceSPIN 2011
Period14/07/1115/07/11

    Research areas

  • CWTS JFIS < 0.75

ID: 3824401