Compositional Reasoning Using Intervals and Time Reversal by Moszkowski, B.

Request full text

Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals by Moszkowski, B.

Get full text

A complete axiomatization of interval temporal logic with infinite time by Moszkowski, B.C.

Request full text

A compositional framework for hardware/software co-design by Cau, A, Hale, R, Dimitrov, J, Zedan, H, Moszkowski, B, Manjunathaiah, M, Spivey, M

Get full text

A Temporal Logic for Multilevel Reasoning about Hardware by Moszkowski, B

Get full text

Formalising of Transactional Memory Using Interval Temporal Logic (ITL) by El-kustaban, A., Moszkowski, B., Cau, A.

Request full text

Compositional reasoning about projected and infinite time by Moszkowski, B.

Request full text

Reasoning About Digital Circuits by Moszkowski,B C

Request full text

Using ITL and Tempura for large-scale specification and simulation by Cau, A., Zedan, H., Coleman, N., Moszkowski, B.

Request full text

Effects of Low Carbohydrate High Protein (LCHP) diet on atherosclerotic plaque phenotype in ApoE/LDLR−/− mice: FT-IR and Raman imaging by Wrobel, T. P., Marzec, K. M., Chlopicki, S., Maślak, E., Jasztal, A., Franczyk-Żarów, M., Czyżyńska-Cichoń, I., Moszkowski, T., Kostogrys, R. B., Baranska, M.

Get full text

Transcutaneous sacral nerve stimulation for intraoperative verification of internal anal sphincter innervation by Kauff, D. W., Moszkowski, T., Wegner, C., Heimann, A., Hoffmann, K.‐P., Krüger, T. B., Lang, H., Kneist, W.

Get full text

Extracorporeal Stimulation of Sacral Nerve Roots for Observation of Pelvic Autonomic Nerve Integrity: Description of a Novel Methodological Setup by Moszkowski, Tomasz, Kauff, Daniel W., Wegner, Celine, Ruff, Roman, Somerlik-Fuchs, Karin H., Kruger, Thilo B., Augustyniak, Piotr, Hoffmann, Klaus-Peter, Kneist, Werner

Request full text

Nuclear forces and the properties of nuclear matter by Moszkowski, S.A, Scott, B.L

Get full text

The nucleus-nucleus interaction potential using density-dependent delta interaction by Sinha, Bikash, Moszkowski, Steven A.

Get full text

The tensor interaction and nuclear matter by Scott, Bruce L, Moszkowski, Steven A

Get full text

Proposed Boundary Condition Potential for the Two-Nucleon Problem by Moszkowski, S. A., Scott, B. L.

Get full text

High-pressure design for optical measurements by Dahan, N, Barrau, B, Pinzutti, G, Moszkowski, J, Martinez, G

Get full text

Efficacité du lamictal dans les absences pharmacorésistantes. Étude collaborative française by Bednarek, N., Arzimanoglou, A., Baldy-Moulinier, M., Beaussart, M., Billard, C., Bidaut-Mazel, C., Boulloche, J., Dutoya, V., Echenne, B., Hirsch, E., Loiseau, P., Motte, J., Moszkowski, J., Nabbout, R., Strumia, S., Pechadre, J.C., Tapie, P.

Get full text

Serenade

Request full text