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
N-AMINO-1,2,4-TRIAZINONE AND THEIR PREPARATION METHOD
KRISTINSSON, HAUKUR, BOEGER, MANFRED, MAIENFISCH, PETER, KRISTIANSEN, ODD
Year of Publication 15.10.1998
Get full text
Year of Publication 15.10.1998
Patent
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