Concurrent Clause Strengthening

Siert Wieringa, Keijo Heljanko

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

    11 Citations (Scopus)
    Original languageEnglish
    Title of host publicationSAT July 8-12, Helsinki, Finland
    PublisherSpringer
    Pages116-132
    ISBN (Print)978-3-642-39070-8
    Publication statusPublished - 2013
    MoE publication typeA4 Conference publication

    Cite this