Tampere University of Technology

TUTCRIS Research Portal

Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review


Original languageEnglish
Title of host publicationComputer Aided Verification. 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings
EditorsArmin Biere, Roderick Bloem
PublisherSpringer International Publishing
Number of pages16
ISBN (Electronic)978-3-319-08867-9
ISBN (Print)978-3-319-08866-2
Publication statusPublished - 2014
Publication typeA4 Article in a conference publication
EventComputer Aided Verification -
Duration: 1 Jan 2014 → …

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


ConferenceComputer Aided Verification
Period1/01/14 → …

Publication forum classification

Field of science, Statistics Finland