CTL*model checking on a shared-memory architecture
- 作者Cornelia P. Inggs; Howard Barringer
- 卷第29卷
- 期第2期
- 印刷ISSN0925-9856
- 电子ISSN1572-8102
- 文件大小468.23KB
- 发表时间2006-09
- DOI10.1007/s10703-006-0008-z
- 页码135-155
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