AAAAAA

   
Results: 1-2 |
Results: 2
Computer aided verification of Lamport's fast mutual exclusion algorithm using colored Petri nets and occurrence graphs with symmetries
Authors: Jorgensen, JB Kristensen, LM
Citation: Jb. Jorgensen et Lm. Kristensen, Computer aided verification of Lamport's fast mutual exclusion algorithm using colored Petri nets and occurrence graphs with symmetries, IEEE PARALL, 10(7), 1999, pp. 714-732
Studies of hyperpolarizabilities for para-nitroaniline in the charge-transfer state: Application of a reaction-field response method
Authors: Larsson, PE Kristensen, LM Mikkelsen, KV
Citation: Pe. Larsson et al., Studies of hyperpolarizabilities for para-nitroaniline in the charge-transfer state: Application of a reaction-field response method, INT J QUANT, 75(4-5), 1999, pp. 449-456
Risultati: 1-2 |