Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Event-B/SLP
Map detail
Event-B/SLP3 visible / 3 total nodes / 2 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipTopic signalEvent-B/SLPWEvent-B/SLPpreprint / 2013Alexei IliasovAAlexei IliasovResearcherSoftware EngineeringTSoftware Engineering3620 works
Paper2 links

Event-B/SLP

preprint / 2013