Talk:The Celebrity Problem (Rodin Tutorial)

From Event-B
Revision as of 14:39, 24 June 2009 by imported>GeorgesMariano (New page: 3. First of all, we take a look at the warning stating that the event label "celebrity" is misused. Where ? Can't see any warning (using Celebrity-2007-10-26.zip)...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search
3. First of all, we take a look at the warning stating that the event label "celebrity" is misused.

Where ? Can't see any warning (using Celebrity-2007-10-26.zip)...

Retrieved from ‘https://wiki.event-b.org/index.php?title=Talk:The_Celebrity_Problem_(Rodin_Tutorial)&oldid=10706’