Lidström, Christian
 Distribuzione geografica
Continente #
NA - Nord America 50
AS - Asia 19
SA - Sud America 13
EU - Europa 11
AF - Africa 1
Totale 94
Nazione #
US - Stati Uniti d'America 48
BR - Brasile 9
VN - Vietnam 7
SG - Singapore 5
GB - Regno Unito 3
IT - Italia 3
CA - Canada 2
CN - Cina 2
CO - Colombia 2
EC - Ecuador 2
ES - Italia 2
IL - Israele 2
AT - Austria 1
EG - Egitto 1
HK - Hong Kong 1
JO - Giordania 1
PK - Pakistan 1
RU - Federazione Russa 1
SE - Svezia 1
Totale 94
Città #
Dallas 32
Ashburn 3
Ho Chi Minh City 3
Beijing 2
Curno 2
Ibagué 2
Los Angeles 2
Montreal 2
Singapore 2
Villaviciosa de Odón 2
Al Mansurah 1
Amman 1
Annapolis 1
Belo Horizonte 1
Bexley 1
Brooklyn 1
Cacequi 1
Da Nang 1
Denver 1
Feira de Santana 1
Gujranwala 1
Hong Kong 1
Hải Dương 1
Jerusalem 1
Joinville 1
Manaus 1
Milan 1
Orem 1
Phoenix 1
Poplar 1
Porto Alegre 1
Providence 1
Quito 1
Quận Bốn 1
Rondonópolis 1
Salvador 1
San Benito 1
Santa Maria da Vitória 1
Sidcup 1
St Petersburg 1
Totale 82
Nome #
Automated Parameterized Verification of a Railway Protection System with Dafny 97
Totale 97
Categoria #
all - tutte 155
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 155


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2025/202697 6 40 16 21 10 4 0 0 0 0 0 0
Totale 97