Statistical model checking of Timed Rebeca models
Jafari, Ali, Khamespanah, Ehsan, Kristinsson, Haukur, Sirjani, Marjan, Magnusson, Brynjar
Published in Computer languages, systems & structures (01.04.2016)
Published in Computer languages, systems & structures (01.04.2016)
Get full text
Journal Article
A novel synthesis of sulfamoyl nucleosides
Kristinsson, Haukur, Nebel, Kurt, O'Sullivan, Anthony C., Struber, Fritz, Winkler, Tammo, Yamaguchi, Yasuchika
Published in Tetrahedron (1994)
Published in Tetrahedron (1994)
Get full text
Journal Article
RING INTERCONVERSION OF 1,3,4-OXADIAZOLYLACETONES
JONSSON, UI, KRISTINSSON, H, NUSSBAUMER, H, SKULASON, WINKLER, T
Published in Synthesis (Stuttgart) (01.07.1995)
Published in Synthesis (Stuttgart) (01.07.1995)
Get more information
Journal Article