Qualitative Action Systems

Bernhard Aichernig, Harald Brandl, Willibald Karl Krenn

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationFormal Methods and Software Engineering
Place of PublicationBerlin [u.a.]
PublisherSpringer
Pages206-225
Volume5885
ISBN (Print)978-3-642-10372-8
DOIs
Publication statusPublished - 2009
EventInternational Conference on Formal Engineering Methods - Rio de Janeiro, Brazil
Duration: 9 Dec 200911 Dec 2009

Publication series

NameLecture notes in computer science
PublisherSpringer

Conference

ConferenceInternational Conference on Formal Engineering Methods
CountryBrazil
CityRio de Janeiro
Period9/12/0911/12/09

Treatment code (Nähere Zuordnung)

  • Theoretical

Cite this