Graph explorer

Research map

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

The LTS WorkBench
Map detail
The LTS WorkBench6 visible / 6 total nodes / 8 links

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

Related contextRelated contextRelated contextAuthorshipAuthorshipTopic signalTopic signalTopic signalThe LTS WorkBenchWThe LTS WorkBenchpreprint / 2015Alceste ScalasAAlceste ScalasResearcherMassimo BartolettiAMassimo BartolettiResearcherSoftware EngineeringTSoftware Engineering3620 worksLogic in Computer ScienceTLogic in Computer Science2208 worksProgramming LanguagesTProgramming Languages1239 works
Paper5 links

The LTS WorkBench

preprint / 2015