Search CORE

3 research outputs found

An improved translation of SA/RT specification model to high-level timed Petri nets

Author: C. Ghezzi
D. Harel
D. J. Hatley
G. Richter
J. Peleska
P. Huber
P. Ward
Paul T. T. Ward
R. Elmstrøm
W. Brauer
W. Rruyn
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Concurrent semantics for structured design methods

Author: C Ghezzi
CI Birkinshaw
DJ Hatley
L Shi
L Shi
P Ward
R Elmstrøm
T Demarco
T Paul
W Rruyn
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1996
Field of study

University of Canberra Research Repository

Liquefaction of gases and discovery of superconductivity: two very closely scientific achievements in low temperature physics

Author: Anderson Jr. O.E.
Arndtsen A.F.O.
Bardeen J.
Bardeen J.
Barkan D.K.
Barkan D.K.
Bawn C.E.H.
Blatt J.M.
Cady H.P.
Cailletet L.P.
Cailletet L.P.
Callendar H.L.
Casimir H.B.G.
Cavendish H.
Clausius R.
Clay J.
Clay J.
Clay J.
Cleve P.T.
Dahl P.F.
Dahl P.F.
Dahl P.F.
Davy H.
de Bruyn Ouboter R.
de Bruyn Ouboter R.
de Nobel J.
de Rruyn Ouboter R.
Dewar J.
Dewar J.
Dewar J.
Dewar J.
Dewar J.
Dewar J.
Dewar J.
Dewar J.
Dewar Lady
Dewar Lady
Drude P.
Einstein A.
Estreicher T.
Faraday M.
Faraday M.
Frankland E.
Gavroglu K.
Gavroglu K.
Gavroglu K.
Gavroglu K.
Gavroglu K.
Gavroglu K.
Gavroglu K.
Gavroglu K.
Geballe T.H.
Geballe T.H.
Gorter C.G.
Hardin W.L.
Heilbron J.L.
Hillebrand W.F.
Hå M.
Janssen P.-J.-C.
Kamerlingh Onnes H.
Kamerlingh Onnes H.
Kamerlingh Onnes H.
Kamerlingh Onnes H.
Kamerlingh Onnes H.
Kamerlingh Onnes H.
Kamerlingh Onnes H.
Kamerlingh Onnes H.
Kamerlingh Onnes H.
Kamerlingh Onnes H.
Kamerlingh Onnes H.
Kamerlingh Onnes H.
Kamerlingh Onnes H.
Kamerlingh Onnes H.
Kamerlingh Onnes H.
Kamerlingh Onnes H.
Kamerlingh Onnes H.
Kursunoglu B.
Lady Dewar
Lady Dewar
Lady Dewar
Lady Dewar
Laesecke A.
Leduc A.
Lemonick M.D.
Lenz E.
Levere T.H.
Liveing G.D.
Lockyer J.N.
London F.
Lord Kelvin
Lord Kelvin
Lorentz H.A.
Matricon J.
Matthiessen
Matthiessen A.
Meilink B.
Meilink B.
Meilink B.
Mendelssohn K.
Nernst W.
Olszewski K.
Olszewski K.
Pictet R.
Pippard A.B.
Planck M.
Rafalowicz J.
Reif-Acherman S.
Riecke E.
Righi A.
Ruhemann M.
Russell C.A.
Scurlock R.G.
Sigsworth E.M.
Sloane T.O'.C.
Smith E.T.
Thevenot R.
Travers M.W.
Travers M.W.
Travers M.W.
Travers M.W.
Travers M.W.
Travers M.W.
van Aubel E.
van Delft D.
van Delft D.
van der Waals J.D.
van der Waals J.D.
van der Waals J.D.
van Helden A.
Wilson J.W.
Wood D.O.
Wróblewski Z.
Publication venue: 'FapUNIFESP (SciELO)'
Publication date
Field of study

core

core