S. Sánchez

From MaRDI portal
Person:2450650

Available identifiers

zbMath Open sanchez.sixtoMaRDI QIDQ2450650

List of research outcomes





PublicationDate of PublicationType
Simplifying inductive schemes in temporal logic2023-02-03Paper
Discrete-Time Queueing System with Expulsions2015-01-21Paper
A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques2014-05-14Paper
Discrete-time queueing system with expulsions2013-11-13Paper
An \(M/G/1\) retrial queue with active breakdowns and Bernoulli schedule in the server2007-01-04Paper
https://portal.mardi4nfdi.de/entity/Q31580462005-01-20Paper

Research outcomes over time

This page was built for person: S. Sánchez

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2450650&oldid=6970663"
Powered by MediaWiki