Abstract lattices for the verification of systems with queues and stacks

Description

Thèse doctorat : Informatique : Rennes 1 : 2008. / Titre provenant de la page du titre du document électronique. Bibliogr. p. 155-161.

Links & Downloads

1. ftp://ftp.irisa.fr/techreports/theses/2008/legall.pdf

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/495287329
Date	January 2008
Creators	Le Gall, Tristan Jéron, Thierry
Publisher	Rennes : [s.n.],
Source Sets	OCLC
Language	French
Detected Language	French
Source	Accès en ligne