Discover open access scientific publications

Search, annotate, share and cite publications

Model Checking Concurrent Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Gene Therapy Applications to Cancer Treatment

Journal of Biomedicine and Biotechnology
2003English

Lack-Of-Fit Tests to Indicate Material Model Improvement or Experimental Data Noise Reduction

2018English

Frequency-Weighted Model Reduction With Applications to Structured Models

Proceedings of the American Control Conference
Electronic EngineeringElectrical
2007English

A Type-Theoretical Reduction of Morphological, Syntactic and Semantic Compositionality to a Single Level of Description

2019English

A Contribution to Urban Transport System Analyses and Planning in Developing Countries

2010English

Forensic Facial Reconstruction and Its Contribution to Identification in Missing Person Cases

2016English

The Development of International Programs in a School of Social Work

Advances in Social Work
2014English

The Influence of Head of Study Programs Competence Towards Organizational Commitments

Scholars Bulletin
2019English

Model of the Future Analysis in the Programs of Political Parties

SHS Web of Conferences
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy