Joel Greenyer

Search

Main menu

Skip to primary content

Home
Projects
Tools
Publications
Conference Activities
Teaching
CV

Post navigation

← Previous Next →

Paper accepted at MODELS 2013

Posted on June 10, 2013 by jgreen

Our paper Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications was accepted at MODELS 2013.

Share this:

Click to email this to a friend (Opens in new window)
Click to share on Twitter (Opens in new window)
Click to share on Google+ (Opens in new window)
Click to share on Facebook (Opens in new window)
More

Click to share on LinkedIn (Opens in new window)
Click to share on Pinterest (Opens in new window)
Click to share on Reddit (Opens in new window)

This entry was posted in Publications by jgreen. Bookmark the permalink.

Proudly powered by WordPress -- Impressum -- Datenschutzerklärung

Diese Webseite nutzt Cookies, um die Funktionen auf unserer Website zu verbessern. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind.

This website uses cookies to improve your experience. We assume you're ok with this, but you can opt-out if you wish.Accept Read More

Privacy & Cookies Policy

Send to Email Address Your Name Your Email Address

Cancel

Post was not sent - check your email addresses!

Email check failed, please try again

Sorry, your blog cannot share posts by email.