Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Peter Ladkin

Implementing and Verifying MSC Specifications Using PROMELA/XSPIN

DIMACS Series in Discrete Mathematics and Theoretical Computer Science
1997English

Related publications

Verifying Consistency and Validity of Formal Specifications by Testing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Considerations for Implementing OGC WMS and WFS Specifications in a Desktop GIS

Journal of Geographic Information System
2012English

Quantitative Proteomic Characterization of Lung-MSC and Bone Marrow-MSC Using DIA-mass Spectrometry

Scientific Reports
Multidisciplinary
2017English

A Framework Based on Implementation Relations for Implementing LOTOS Specifications

Computer Networks and ISDN Systems
1992English

Verifying Spatial Queries Using Voronoi Neighbors

2010English

Verifying SeVeCom Using Set-Based Abstraction

2011English

Verifying Timed BPMN Processes Using Maude

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Verifying Quantitative Properties Using Bound Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Executing Specifications Using Synthesis and Constraint Solving

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy