Parameterized weighted containment

Guy Avni, Orna Kupferman

Research output: Contribution to journalArticlepeer-review

Conference contribution

Search results

  • 2013

    Parameterized weighted containment

    Avni, G. & Kupferman, O., 2013, Foundations of Software Science and Computation Structures - 16th Int. Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Proc.. p. 369-384 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7794 LNCS).

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

    Open Access