Curator 75 (talk | contribs) (Created page with "{{Event Series |Acronym=SPIN |Title=International SPIN Symposium on Model Checking of Software |Recurrence Period=1 |Recurrence Unit=year |Academic Field=Applications And Soft...") |
Curator 75 (talk | contribs) |
||
Line 9: | Line 9: | ||
{{Event Series Related Identifier | {{Event Series Related Identifier | ||
|DBLP Series ID=spin | |DBLP Series ID=spin | ||
− | |||
}} | }} | ||
{{S Event Series}} | {{S Event Series}} |
Revision as of 07:35, 15 November 2022
Events