Object oriented concepts identification from formal B specifications
- 作者Akram Idani; Yves Ledru
- 卷第30卷
- 期第3期
- 印刷ISSN0925-9856
- 电子ISSN1572-8102
- 文件大小517.24KB
- 发表时间2007-06
- DOI10.1007/s10703-006-0030-1
- 页码217-232
Planck Oscillators and GravitationB. G. Sidharth; B. M. Birla · 2009
Different Routes to Lorentz Symmetry ViolationsB. G. Sidharth · 2008
The Limits of Special RelativityB. G. Sidharth · 2008
A Note on Massive PhotonsB. G. Sidharth · Foundations of Physics Letters · 2006
Tests for VaryingGB. G. Sidharth · Foundations of Physics Letters · 2006
A Short-Range ForceB. G. Sidharth · International Journal of Theoretical Physics · 2005
A Short-Range ForceB. G. Sidharth · International Journal of Theoretical Physics · 2005
Revisiting ZitterbewegungB. G. Sidharth · 2009
Maxwell Equations and Inertial TransformationsB. Buonaura · Foundations of Physics Letters · 2004
Labels for Non-Individuals?Adonai S. Sant'Anna* · Foundations of Physics Letters · 2005
The Topology of Branching UniversesGordon McCabe · Foundations of Physics Letters · 2005
Colored Flux Tube in Euclidean SpacetimeVladimir Dzhunushaliev · Foundations of Physics Letters · 2005
CorrigendaFoundations of Physics Letters · 2005
Canonical Ensemble with Temperature LimitationViorel Badescu; Peter T. Landsberg · Foundations of Physics Letters · 2005
Casimir Effect for Tachyonic FieldsMarcin Ostrowski · Foundations of Physics Letters · 2005
Cartesian and Lagrangian MomentumAlexander Afriat · Foundations of Physics Letters · 2005