GR(1) synthesis for LTL specification patterns

Shahar Maoz, Jan Oliver Ringert

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

Original languageEnglish
Title of host publicationSoftware Engineering 2016
EditorsJens Knoop, Uwe Zdun
PublisherGesellschaft fur Informatik (GI)
Pages103-104
Number of pages2
ISBN (Electronic)9783885796466
StatePublished - 2016
EventSoftware Engineering-Konferenz, SE 2016 - Software Engineering Conference, SE 2016 - Wien, Austria
Duration: 23 Feb 201626 Feb 2016

Publication series

NameLecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)
VolumeP252
ISSN (Print)1617-5468

Conference

ConferenceSoftware Engineering-Konferenz, SE 2016 - Software Engineering Conference, SE 2016
Country/TerritoryAustria
CityWien
Period23/02/1626/02/16

Cite this