HomeRecord
Advanced search ROAD search The Keepers search

Identifiers

ISSN :

1572-8102

Linking ISSN (ISSN-L): 0925-9856

Links

Key-title  

Formal methods in system design (Dordrecht. Online)

Identifiers
ISSN :

1572-8102

Linking ISSN (ISSN-L): 0925-9856

Resource information
Archival Status
logo Keepers

Title proper: Formal methods in system design.

Country: Netherlands

Medium: Online

Digital Archives:

CLOCKSS Archive, CLOCKSS Archive, https://clockss.org, Online access with authorization, 1992/2024

LOCKSS Archive, Global LOCKSS Network, https://www.lockss.org, Online access with authorization, 2012/2019, incomplete

LOCKSS Archive, Global LOCKSS Network, https://www.lockss.org, Online access with authorization, 2013/2018

E-depot, KB, nationale bibliotheek, No online access, 1997/2019

Library of Congress, Library of Congress, https://www.loc.gov, Online access with authorization, 2017/2022

NDPP, China, National Science Library, Chinese Academy of Sciences, http://english.las.cas.cn, Online access with authorization, 1997/2022

Scholars Portal, Ontario Council of University Libraries, https://scholarsportal.info, Online access with authorization, 1992/2022

Portico, Portico, https://www.portico.org, Online access with authorization, 2007/2007

Portico, Portico, https://www.portico.org, Online access with authorization, 2008/2024


logo Keepers
Status Publisher Keeper From To Updated Extent of archive
Preserved

 Springer

 CLOCKSS Archive

 1992

 2024

 16/12/2024
1 to 63, 125
In Progress

 Springer

 LOCKSS Archive

 2012

 2019

 16/12/2024
40, 41, 54, 55
Preserved

 Springer

 LOCKSS Archive

 2013

 2018

 16/12/2024
42 to 53
Preserved

 Springer

 Library of Congress

 2017

 2022

 30/08/2024
51 (2, 3); 52 (1 to 3); 53 (1 to 3); 54 (1 to 3); 55 (1 to 3); 56 (1-3); 57 (1 to 3); 58 (1-2, 3); 59 (1-3); 60 (1 to 3); 61 (1)
Preserved

 Springer Nature

 National Digital Preservation Program, China

 1997

 2022

 17/07/2024
Preserved : 1 (1, 2); 2 (1 to 3); 3 (1 to 3); 4 (1 to 3); 5 (1, 2); 6 (1, 2); 11 (1 to 3); 12 (1 to 3); 13 (1 to 3); 14 (1 to 3); 15 (1 to 3); 16 (1 to 3); 17 (1 to 3); 18 (1 to 3); 19 (1 to 3); 21 (1 to 3); 22 (1 to 3); 23 (1 to 3); 24 (1 to 3); 25 (1, 2); 26 (1 to 3); 27 (1, 3); 28 (1 to 3); 29 (1 to 3); 31 (1 to 3); 32 (1 to 3); 33 (1); 34 (2, 3); 35 (1 to 3); 36 (1 to 3); 37 (1, 2); 38 (1 to 3); 39 (1 to 3); 41 (1 to 3); 42 (1 to 3); 43 (1 to 3); 44 (1 to 3); 45 (1, 3); 46 (2, 3); 47 (1 to 3); 48 (1, 3); 49 (1, 3); 51 (1 to 3); 52 (1 to 3); 53 (1 to 3); 54 (1 to 3); 55 (1 to 3); 56 (1-3); 57 (2, 3); 58 (1-2, 3); 59 (1-3)
Preserved

 Springer Nature

 National Digital Preservation Program, China

 1997

 2022

 09/04/2024
Preserved : 1 (1, 2); 2 (1 to 3); 3 (1 to 3); 4 (1 to 3); 5 (1, 2); 6 (1, 2); 11 (1 to 3); 12 (1 to 3); 13 (1 to 3); 14 (1 to 3); 15 (1 to 3); 16 (1 to 3); 17 (1 to 3); 18 (1 to 3); 19 (1 to 3); 21 (1 to 3); 22 (1 to 3); 23 (1 to 3); 24 (1 to 3); 25 (1, 2); 26 (1 to 3); 27 (1, 3); 28 (1 to 3); 29 (1 to 3); 31 (1 to 3); 32 (1 to 3); 33 (1); 34 (2, 3); 35 (1 to 3); 36 (1 to 3); 37 (1, 2); 38 (1 to 3); 39 (1 to 3); 41 (1 to 3); 42 (1 to 3); 43 (1 to 3); 44 (1 to 3); 45 (1, 3); 46 (2, 3); 47 (1 to 3); 48 (1, 3); 49 (1, 3); 51 (1 to 3); 52 (1 to 3); 53 (1 to 3); 54 (1 to 3); 55 (1 to 3); 56 (1-3); 57 (2, 3); 58 (1-2, 3); 59 (1-3)
Preserved

 Springer Nature

 National Digital Preservation Program, China

 1997

 2022

 21/10/2024
Preserved : 1 (1, 2); 2 (1 to 3); 3 (1 to 3); 4 (1 to 3); 5 (1, 2); 6 (1 to 3); 11 (1 to 3); 12 (1 to 3); 13 (1 to 3); 14 (1 to 3); 15 (1 to 3); 16 (1 to 3); 17 (1 to 3); 18 (1 to 3); 19 (1 to 3); 21 (1 to 3); 22 (1 to 3); 23 (1 to 3); 24 (1 to 3); 25 (1, 2); 26 (1 to 3); 27 (1, 3); 28 (1 to 3); 29 (1 to 3); 31 (1 to 3); 32 (1 to 3); 33 (1); 34 (2, 3); 35 (1 to 3); 36 (1 to 3); 37 (1, 2); 38 (1 to 3); 39 (1 to 3); 41 (1 to 3); 42 (1 to 3); 43 (1 to 3); 44 (1 to 3); 45 (1 to 3); 46 (1 to 3); 47 (1 to 3); 48 (1, 3); 49 (1, 3); 51 (1 to 3); 52 (1 to 3); 53 (1 to 3); 54 (1 to 3); 55 (1 to 3); 56 (1-3); 57 (2, 3); 58 (1-2, 3); 59 (1-3); 61
Preserved

 Kluwer Academic Publishers

 National Library of the Netherlands

 1997

 2019

 20/10/2023
Preserved : 10 (1, 2); 11 (1-3); 12 (1-3); 13 (1-3); 14 (1-3); 15 (1-3); 16 (1-3); 17 (1-3); 18 (1-3); 19 (1-3); 20 (1-3); 21 (1-3); 22 (1-3); 23 (1-3); 24 (1-3); 25 (1, 2); 26 (1-3); 27 (1-2, 3); 28 (1-3); 29 (1, 3); 30 (1-3); 31 (1-3); 32 (1-3); 33 (1-3); 34 (2, 3); 35 (1, 3); 36 (1-3); 37 (1, 2-3); 38 (1-3); 39 (1-3); 40 (1-3); 41 (1-3); 42 (1-3); 43 (1-3); 44 (1-3); 45 (1-3); 46 (1-3); 47 (1-3); 48 (1-2, 3); 49 (1-2, 3); 50 (1, 2-3); 51 (1-3); 52 (1-3); 53 (1-3); 54 (1-3)
Preserved

 Springer

 Portico

 2007

 2007

 28/04/2024
Preserved : 2007: 30(1)
Preserved

 Springer

 Portico

 2008

 2024

 28/04/2024
Preserved : 2008: 33(1-3), 2009: 34(1-3), 2009: 35(1-3), 2010: 36(1-3), 2010: 37(1-3), 2011: 38(1-3), 2011: 39(1-3), 2012: 40(2-3), 2012: 41(1, 3), 2013: 42(1-3), 2013: 43(1-3), 2014: 44(1-3), 2014: 45(1-3), 2015: 46(2-3), 2015: 47(1-3), 2016: 48(1-3), 2016: 49(1-3), 2017: 50(1-3), 2017: 51(1-3), 2018: 52(1-3), 2018: 53(1-3), 2019: 54(1-3), 2019/2020: 55(1-3), 2020: 56(1-3), 2021: 57(1-3), 2021: 58(1-3), 2022: 60(1-3), 2022: 61(1-3), 2024: 62(1-3), 2024: 63(1-3)
Preserved

 Springer

 Scholars Portal

 1992

 2022

 02/04/2024
Preserved : 1 (1, 2-3, 4); 2 (1 to 3); 3 (1-2, 3); 4 (1 to 3); 5 (1-2, 3); 6 (1 to 3); 7 (1-2, 3); 8 (1 to 3); 9 (1/2, 3); 10 (1, 2-3); 11 (1 to 3); 12 (1 to 3); 13 (1 to 3); 14 (1 to 3); 15 (1 to 3); 16 (1 to 3); 17 (1 to 3); 18 (1 to 3); 19 (1 to 3); 20 (1 to 3); 21 (1 to 3); 22 (1 to 3); 23 (1 to 3); 24 (1 to 3); 25 (1, 2-3); 26 (1 to 3); 27 (1-2, 3); 28 (1 to 3); 29 (1 to 3); 30 (1 to 3); 31 (1 to 3); 32 (1 to 3); 33 (1-3); 34 (2, 3); 35 (1 to 3); 36 (1 to 3); 37 (1, 2-3); 38 (1 to 3); 39 (1 to 3); 40 (1 to 3); 41 (1 to 3); 42 (1 to 3); 43 (1 to 3); 44 (1 to 3); 45 (1 to 3); 46 (1 to 3); 47 (1 to 3); 48 (1-2, 3); 49 (1-2, 3); 50 (1, 2-3); 51 (1 to 3); 52 (1 to 3); 53 (1 to 3); 54 (1 to 3); 55 (1 to 3); 56 (1-3); 57 (2, 3); 58 (1-2, 3); 59 (1-3); 60 (2, 3); 61 (1); 125
Archival Status
Status Publisher Keeper From To Updated Extent of archive
Preserved

 Springer

 CLOCKSS Archive

 1992

 2024

 16/12/2024
1 to 63, 125
In Progress

 Springer

 LOCKSS Archive

 2012

 2019

 16/12/2024
40, 41, 54, 55
Preserved

 Springer

 LOCKSS Archive

 2013

 2018

 16/12/2024
42 to 53
Preserved

 Springer

 Library of Congress

 2017

 2022

 30/08/2024
51 (2, 3); 52 (1 to 3); 53 (1 to 3); 54 (1 to 3); 55 (1 to 3); 56 (1-3); 57 (1 to 3); 58 (1-2, 3); 59 (1-3); 60 (1 to 3); 61 (1)
Preserved

 Springer Nature

 National Digital Preservation Program, China

 1997

 2022

 17/07/2024
Preserved : 1 (1, 2); 2 (1 to 3); 3 (1 to 3); 4 (1 to 3); 5 (1, 2); 6 (1, 2); 11 (1 to 3); 12 (1 to 3); 13 (1 to 3); 14 (1 to 3); 15 (1 to 3); 16 (1 to 3); 17 (1 to 3); 18 (1 to 3); 19 (1 to 3); 21 (1 to 3); 22 (1 to 3); 23 (1 to 3); 24 (1 to 3); 25 (1, 2); 26 (1 to 3); 27 (1, 3); 28 (1 to 3); 29 (1 to 3); 31 (1 to 3); 32 (1 to 3); 33 (1); 34 (2, 3); 35 (1 to 3); 36 (1 to 3); 37 (1, 2); 38 (1 to 3); 39 (1 to 3); 41 (1 to 3); 42 (1 to 3); 43 (1 to 3); 44 (1 to 3); 45 (1, 3); 46 (2, 3); 47 (1 to 3); 48 (1, 3); 49 (1, 3); 51 (1 to 3); 52 (1 to 3); 53 (1 to 3); 54 (1 to 3); 55 (1 to 3); 56 (1-3); 57 (2, 3); 58 (1-2, 3); 59 (1-3)
Preserved

 Springer Nature

 National Digital Preservation Program, China

 1997

 2022

 09/04/2024
Preserved : 1 (1, 2); 2 (1 to 3); 3 (1 to 3); 4 (1 to 3); 5 (1, 2); 6 (1, 2); 11 (1 to 3); 12 (1 to 3); 13 (1 to 3); 14 (1 to 3); 15 (1 to 3); 16 (1 to 3); 17 (1 to 3); 18 (1 to 3); 19 (1 to 3); 21 (1 to 3); 22 (1 to 3); 23 (1 to 3); 24 (1 to 3); 25 (1, 2); 26 (1 to 3); 27 (1, 3); 28 (1 to 3); 29 (1 to 3); 31 (1 to 3); 32 (1 to 3); 33 (1); 34 (2, 3); 35 (1 to 3); 36 (1 to 3); 37 (1, 2); 38 (1 to 3); 39 (1 to 3); 41 (1 to 3); 42 (1 to 3); 43 (1 to 3); 44 (1 to 3); 45 (1, 3); 46 (2, 3); 47 (1 to 3); 48 (1, 3); 49 (1, 3); 51 (1 to 3); 52 (1 to 3); 53 (1 to 3); 54 (1 to 3); 55 (1 to 3); 56 (1-3); 57 (2, 3); 58 (1-2, 3); 59 (1-3)
Preserved

 Springer Nature

 National Digital Preservation Program, China

 1997

 2022

 21/10/2024
Preserved : 1 (1, 2); 2 (1 to 3); 3 (1 to 3); 4 (1 to 3); 5 (1, 2); 6 (1 to 3); 11 (1 to 3); 12 (1 to 3); 13 (1 to 3); 14 (1 to 3); 15 (1 to 3); 16 (1 to 3); 17 (1 to 3); 18 (1 to 3); 19 (1 to 3); 21 (1 to 3); 22 (1 to 3); 23 (1 to 3); 24 (1 to 3); 25 (1, 2); 26 (1 to 3); 27 (1, 3); 28 (1 to 3); 29 (1 to 3); 31 (1 to 3); 32 (1 to 3); 33 (1); 34 (2, 3); 35 (1 to 3); 36 (1 to 3); 37 (1, 2); 38 (1 to 3); 39 (1 to 3); 41 (1 to 3); 42 (1 to 3); 43 (1 to 3); 44 (1 to 3); 45 (1 to 3); 46 (1 to 3); 47 (1 to 3); 48 (1, 3); 49 (1, 3); 51 (1 to 3); 52 (1 to 3); 53 (1 to 3); 54 (1 to 3); 55 (1 to 3); 56 (1-3); 57 (2, 3); 58 (1-2, 3); 59 (1-3); 61
Preserved

 Kluwer Academic Publishers

 National Library of the Netherlands

 1997

 2019

 20/10/2023
Preserved : 10 (1, 2); 11 (1-3); 12 (1-3); 13 (1-3); 14 (1-3); 15 (1-3); 16 (1-3); 17 (1-3); 18 (1-3); 19 (1-3); 20 (1-3); 21 (1-3); 22 (1-3); 23 (1-3); 24 (1-3); 25 (1, 2); 26 (1-3); 27 (1-2, 3); 28 (1-3); 29 (1, 3); 30 (1-3); 31 (1-3); 32 (1-3); 33 (1-3); 34 (2, 3); 35 (1, 3); 36 (1-3); 37 (1, 2-3); 38 (1-3); 39 (1-3); 40 (1-3); 41 (1-3); 42 (1-3); 43 (1-3); 44 (1-3); 45 (1-3); 46 (1-3); 47 (1-3); 48 (1-2, 3); 49 (1-2, 3); 50 (1, 2-3); 51 (1-3); 52 (1-3); 53 (1-3); 54 (1-3)
Preserved

 Springer

 Portico

 2007

 2007

 28/04/2024
Preserved : 2007: 30(1)
Preserved

 Springer

 Portico

 2008

 2024

 28/04/2024
Preserved : 2008: 33(1-3), 2009: 34(1-3), 2009: 35(1-3), 2010: 36(1-3), 2010: 37(1-3), 2011: 38(1-3), 2011: 39(1-3), 2012: 40(2-3), 2012: 41(1, 3), 2013: 42(1-3), 2013: 43(1-3), 2014: 44(1-3), 2014: 45(1-3), 2015: 46(2-3), 2015: 47(1-3), 2016: 48(1-3), 2016: 49(1-3), 2017: 50(1-3), 2017: 51(1-3), 2018: 52(1-3), 2018: 53(1-3), 2019: 54(1-3), 2019/2020: 55(1-3), 2020: 56(1-3), 2021: 57(1-3), 2021: 58(1-3), 2022: 60(1-3), 2022: 61(1-3), 2024: 62(1-3), 2024: 63(1-3)
Preserved

 Springer

 Scholars Portal

 1992

 2022

 02/04/2024
Preserved : 1 (1, 2-3, 4); 2 (1 to 3); 3 (1-2, 3); 4 (1 to 3); 5 (1-2, 3); 6 (1 to 3); 7 (1-2, 3); 8 (1 to 3); 9 (1/2, 3); 10 (1, 2-3); 11 (1 to 3); 12 (1 to 3); 13 (1 to 3); 14 (1 to 3); 15 (1 to 3); 16 (1 to 3); 17 (1 to 3); 18 (1 to 3); 19 (1 to 3); 20 (1 to 3); 21 (1 to 3); 22 (1 to 3); 23 (1 to 3); 24 (1 to 3); 25 (1, 2-3); 26 (1 to 3); 27 (1-2, 3); 28 (1 to 3); 29 (1 to 3); 30 (1 to 3); 31 (1 to 3); 32 (1 to 3); 33 (1-3); 34 (2, 3); 35 (1 to 3); 36 (1 to 3); 37 (1, 2-3); 38 (1 to 3); 39 (1 to 3); 40 (1 to 3); 41 (1 to 3); 42 (1 to 3); 43 (1 to 3); 44 (1 to 3); 45 (1 to 3); 46 (1 to 3); 47 (1 to 3); 48 (1-2, 3); 49 (1-2, 3); 50 (1, 2-3); 51 (1 to 3); 52 (1 to 3); 53 (1 to 3); 54 (1 to 3); 55 (1 to 3); 56 (1-3); 57 (2, 3); 58 (1-2, 3); 59 (1-3); 60 (2, 3); 61 (1); 125
Record information

Last modification date: 06/02/2021

Type of record: Confirmed

ISSN Center responsible of the record: ISSN National Centre for The Netherlands

For all potential issues concerning this bibliographic record (missing or wrong data etc.), please contact the ISSN National Centre mentioned above by clicking on the link.

Links
.........

My Tools

Share
Print Display linked data

Discover all the features of the complete ISSN records

Access the full version of the ISSN Portal