Labelled Superposition for PLTL

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-28717-6_31
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Resolution-Based Model Construction for PLTL

2009English

Partitioned PLTL Model-Checking for Refined Transition Systems

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2009English

Lessons Learned From a PLTL-CS Program

2011English

Completely Scrambled Memory for Quantum Superposition

Scientific Reports
Multidisciplinary
2019English

A Superposition Theorem for Unbounded Continuous Functions

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1977English

Network Class Superposition Analyses

PLoS ONE
Multidisciplinary
2013English

Superposition Model for Steady State Visually Evoked Potentials

2016English

Deriving Structural Labelled Transitions for Mobile Ambients

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

A Labelled Transition System for Πε-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy