Choose the export format from the list below:
Filter
Export as Portable Document Format (PDF) using Apache Formatting Objects Processor (FOP)
Export as HyperText Markup Language (HTML)
Ferruccio Damiani, Mirko Viroli
Logical Methods in Computer Science 11(4), pages 1532015
HomeSearchAll
Andrea AgiolloRoberta CalegariGiovanni CiattoAngelo CroattiEnrico DentiMatteo MagniniSara MontagnaAndrea OmiciniGiuseppe PisanoAndrea RafanelliFederico Sabbatini
Home— cloudstags | authors | editors | journals— per year2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014–1927— per sortin journal | in proc | chapters | books | edited | spec issues | editorials | entries | manuals | tech reps | phd th | others— per statusonline | in press | proof | camera-ready | revised | accepted | revision | submitted | draft | note— servicesACM Digital Library | DBLP | IEEE Xplore | IRIS | PubMed | Google Scholar | Scopus | Semantic Scholar | Web of Science | DOI
Type-based Self-stabilisation for Computational Fields
— authors
— status
published
— sort
article in journal
— publication date
2015
— journal
Logical Methods in Computer Science
— volume
11
— issue
4
— pages
153
— number of pages
53
URLs
original page
identifiers
— DOI
10.2168/LMCS-11(4:21)2015
— print ISSN
1860-5974
