AuthorsA. Gotlieb
TitleConstraint-Based Reacheability
AfilliationSoftware Engineering, The Certus Centre (SFI), Software Engineering
Project(s)The Certus Centre (SFI)
StatusPublished
Publication TypeTalks, invited
Year of Publication2012
Location of TalkINFINITY Workshop, co-located with FM 2012, Paris
Publisher.
Place Published.
Notes

INFINITY Workshop, co-located with FM 2012, Paris

Citation KeySimula.simula.2278