Monotonic Abstraction in Parameterized Verification

Abdulla, Aziz; Delzanno, Giorgio; Rezine, Ahmed

uu.seUppsala universitets publikasjoner

Enkelt søk

Avansert søk -
Forskningspublikasjoner Avansert søk -
Studentoppgaver Statistikk

English Svenska Norsk

Endre søk

Läs mer om att söka i DiVA här: Söka i DiVA

Limit the search further

Velg organisasjon

Vis også opphørte organisasjoner

Velg kategori

Vis også opphørte emnekategori

Humanities and the Arts
- Other Humanities
  - Classical Archaeology and Ancient History
  - Ethnology
  - Cultural Studies
  - Other Humanities not elsewhere specified
- Philosophy, Ethics and Religion
  - Ethics
  - Philosophy
  - History of Ideas
  - History of Religions
  - Religious Studies
- History and Archaeology
  - Archaeology
  - History
  - History of Technology
- Arts
  - Architecture
  - Visual Arts
  - Design
  - Studies on Film
  - Art History
  - Literary Composition
  - Music
  - Musicology
  - Performing Arts
  - Performing Art Studies
- Languages and Literature
  - General Language Studies and Linguistics
  - Specific Literatures
  - General Literature Studies
  - Specific Languages
Agricultural and Veterinary sciences
- Other Agricultural Sciences
  - Renewable Bioenergy Research
  - Agricultural Occupational Health and Safety
  - Environmental Sciences related to Agriculture and Land-use
  - Fish and Wildlife Management
  - Other Agricultural Sciences not elsewhere specified
- Agricultural Biotechnology
  - Genetics and Breeding in Agricultural Sciences
  - Plant Biotechnology
- Animal and Dairy Science
- Agricultural Science, Forestry and Fisheries
  - Fish and Aquacultural Science
  - Agricultural Science
  - Landscape Architecture
  - Food Science
  - Soil Science
  - Forest Science
  - Horticulture
  - Wood Science
- Veterinary Science
  - Other Veterinary Science
  - Clinical Science
  - Medical Bioscience
  - Pathobiology
Medical and Health Sciences
- Other Medical Sciences
  - Gerontology, specialising in Medical and Health Sciences
  - Forensic Science
  - Other Medical Sciences not elsewhere specified
- Health Sciences
  - Other Health Sciences
  - Occupational Health and Environmental Health
  - Occupational Therapy
  - Substance Abuse
  - Public Health, Global Health, Social Medicine and Epidemiology
  - Health Care Service and Management, Health Policy and Services and Health Economy
  - Sport and Fitness Sciences
  - Medical Ethics
  - Nutrition and Dietetics
  - Nursing
  - Physiotherapy
- Clinical Medicine
  - General Practice
  - Anesthesiology and Intensive Care
  - Other Clinical Medicine
  - Cancer and Oncology
  - Dermatology and Venereal Diseases
  - Endocrinology and Diabetes
  - Gastroenterology and Hepatology
  - Geriatrics
  - Hematology
  - Infectious Medicine
  - Cardiac and Cardiovascular Systems
  - Surgery
  - Clinical Laboratory Medicine
  - Respiratory Medicine and Allergy
  - Neurology
  - Dentistry
  - Ophthalmology
  - Orthopaedics
  - Otorhinolaryngology
  - Pediatrics
  - Psychiatry
  - Radiology, Nuclear Medicine and Medical Imaging
  - Obstetrics, Gynecology and Reproductive Medicine
  - Rheumatology and Autoimmunity
  - Urology and Nephrology
- Medical Biotechnology
  - Other Medical Biotechnology
  - Biomaterials Science
  - Biomedical Laboratory Science/Technology
  - Medical Biotechnology (with a focus on Cell Biology (including Stem Cell Biology), Molecular Biology, Microbiology, Biochemistry or Biopharmacy)
- Basic Medicine
  - Other Basic Medicine
  - Cell and Molecular Biology
  - Pharmaceutical Sciences
  - Pharmacology and Toxicology
  - Physiology
  - Immunology in the medical area
  - Medicinal Chemistry
  - Medical Genetics
  - Microbiology in the medical area
  - Neurosciences
  - Social and Clinical Pharmacy
Natural Sciences
- Other Natural Sciences
- Biological Sciences
  - Other Biological Topics
  - Biophysics
  - Bioinformatics and Systems Biology
  - Biochemistry and Molecular Biology
  - Biological Systematics
  - Botany
  - Cell Biology
  - Ecology
  - Behavioral Sciences Biology
  - Evolutionary Biology
  - Genetics
  - Immunology
  - Microbiology
  - Structural Biology
  - Developmental Biology
  - Zoology
- Computer and Information Sciences
  - Other Computer and Information Science
  - Bioinformatics (Computational Biology)
  - Computer Sciences
  - Computer Vision and Robotics (Autonomous Systems)
  - Computer Engineering
  - Media and Communication Technology
  - Human Computer Interaction
  - Software Engineering
  - Language Technology (Computational Linguistics)
  - Information Systems
- Physical Sciences
  - Accelerator Physics and Instrumentation
  - Other Physics Topics
  - Astronomy, Astrophysics and Cosmology
  - Atom and Molecular Physics and Optics
  - Condensed Matter Physics
  - Fusion, Plasma and Space Physics
  - Subatomic Physics
- Earth and Related Environmental Sciences
  - Other Earth and Related Environmental Sciences
  - Geophysics
  - Geochemistry
  - Geology
  - Climate Research
  - Meteorology and Atmospheric Sciences
  - Environmental Sciences
  - Geosciences, Multidisciplinary
  - Physical Geography
  - Oceanography, Hydrology and Water Resources
- Chemical Sciences
  - Analytical Chemistry
  - Other Chemistry Topics
  - Physical Chemistry
  - Materials Chemistry
  - Inorganic Chemistry
  - Organic Chemistry
  - Polymer Chemistry
  - Theoretical Chemistry
- Mathematics
  - Algebra and Logic
  - Other Mathematics
  - Computational Mathematics
  - Discrete Mathematics
  - Geometry
  - Mathematical Analysis
  - Probability Theory and Statistics
Social Sciences
- Other Social Sciences
  - Work Sciences
  - Gender Studies
  - International Migration and Ethnic Relations
  - Social Sciences Interdisciplinary
  - Other Social Sciences not elsewhere specified
- Economics and Business
  - Economic History
  - Business Administration
  - Economics
- Law
  - Law (excluding Law and Society)
  - Law and Society
- Media and Communications
  - Information Studies
  - Communication Studies
  - Media Studies
  - Human Aspects of ICT
  - Information Systems, Social aspects
- Psychology
  - Psychology (excluding Applied Psychology)
  - Applied Psychology
- Social and Economic Geography
  - Economic Geography
  - Human Geography
- Sociology
  - Social Anthropology
  - Social Psychology
  - Social Work
  - Sociology (excluding Social Work, Social Psychology and Social Anthropology)
- Political Science
  - Globalisation Studies
  - Political Science (excluding Public Administration Studies and Globalisation Studies)
  - Public Administration Studies
- Educational Sciences
  - Didactics
  - Learning
  - Pedagogy
  - Pedagogical Work
Engineering and Technology
- Other Engineering and Technologies
  - Interaction Technologies
  - Food Engineering
  - Media Engineering
  - Other Engineering and Technologies not elsewhere specified
- Electrical Engineering, Electronic Engineering, Information Engineering
  - Other Electrical Engineering, Electronic Engineering, Information Engineering
  - Computer Systems
  - Embedded Systems
  - Communication Systems
  - Control Engineering
  - Robotics
  - Signal Processing
  - Telecommunications
- Industrial Biotechnology
  - Other Industrial Biotechnology
  - Bioenergy
  - Biocatalysis and Enzyme Technology
  - Biochemicals
  - Bio Materials
  - Bioprocess Technology
  - Bioengineering Equipment
  - Pharmaceutical Biotechnology
  - Medical Biotechnology
- Chemical Engineering
  - Other Chemical Engineering
  - Pharmaceutical Chemistry
  - Chemical Process Engineering
  - Corrosion Engineering
  - Polymer Technologies
- Mechanical Engineering
  - Other Mechanical Engineering
  - Energy Engineering
  - Vehicle Engineering
  - Production Engineering, Human Work Science and Ergonomics
  - Aerospace Engineering
  - Fluid Mechanics and Acoustics
  - Applied Mechanics
  - Reliability and Maintenance
  - Tribology (Interacting Surfaces including Friction, Lubrication and Wear)
- Materials Engineering
  - Other Materials Engineering
  - Manufacturing, Surface and Joining Technology
  - Ceramics
  - Composite Science and Engineering
  - Metallurgy and Metallic Materials
  - Paper, Pulp and Fiber Technology
  - Textile, Rubber and Polymeric Materials
- Medical Engineering
  - Other Medical Engineering
  - Medical Equipment Engineering
  - Medical Image Processing
  - Medical Ergonomics
  - Medical Laboratory and Measurements Technologies
  - Medical Materials
- Environmental Biotechnology
  - Other Environmental Biotechnology
  - Bioremediation
  - Bioethics
  - Diagnostic Biotechnology
  - Water Treatment
- Nano Technology
- Environmental Engineering
  - Other Environmental Engineering
  - Energy Systems
  - Remote Sensing
  - Geophysical Engineering
  - Ocean and River Engineering
  - Marine Engineering
  - Environmental Management
  - Mineral and Mine Engineering
- Civil Engineering
  - Other Civil Engineering
  - Architectural Engineering
  - Construction Management
  - Geotechnical Engineering
  - Building Technologies
  - Infrastructure Engineering
  - Environmental Analysis and Construction Information Technology
  - Transport Systems and Logistics
  - Water Engineering

Velg forskningsprogram

Vis også opphørte forskningsprogram

Computing Science
Jurisprudence
Family Medicine
Analytical Pharmaceutical Chemistry
Human Anatomy
Anaesthesiology and Intensive Care
Classical Archaeology and Ancient History
Occupational and Environmental Medicine
Archaeology
Assyriology
Astronomy with specialization in Astrophysics
Astronomy
Child and Youth Psychiatry
Pediatric Surgery
Scientific Computing with specialization in Numerical Analysis
Scientific Computing
Library and Information Science
Bioethics
Biopharmaceutics
Bioinformatics
Biochemistry
Biochemical Pharmacology
Biology with specialization in Ecological Botany
Biology with specialization in Environmental Toxicology
Biology with specialization in Evolutionary Functional Genomics
Biology with specialization in Evolutionary Genetics
Biology with specialization in Evolutionary Organismal Biology
Biology with specialization in Physiological Botany
Biology with specialization in Comparative Physiology
Biology with specialization in Limnology
Biology with specialization in Microbiology
Biology with specialization in Environmental Toxicology
Biology with specialization in Molecular Biotechnology
Biology with specialization in Molecular Cell Biology
Biology with specialization in Molecular Evolution
Biology with specialization in Molecular Immunology
Biology with specialization in Molecular Biology
Biology with Specialisation in Human Evolution and Genetics
Biology with specialization in Population Biology
Biology with specialization in Structural Biology
Biology with specialization in Systematics
Biology with specialization in Animal Ecology
Biology with specialization in Animal Conservation
Biology with specialization in Animal Development
Biology
Biological Research on Drug Dependence
Biomedical Laboratory Science
Biomedical Radiation Science
Civil and Structural Engineering with specialization in Soil Mechanics
Civil and Structural Engineering
Byzantine Studies
Civil Law
Computer Systems Sciences
Computer Science with specialization in Database Technology
Computer Science with specialization in Computer Science Education Research
Computer Science with specialization in Computer Communication
Computer Science with specialization in Embedded Systems
Computer Science with specialization in Human-Computer Interaction
Computer Science with specialization in Real Time Systems
Computer Science
Computerized Image Processing
Computational Linguistics
Curriculum Studies
Egyptology
Economic History
Electrical Engineering with specialization in Automatic Control
Electrical Engineering with specialization in Signal Processing
Electrical Engineering with specialization in Systems Analysis
Endocrinology and Diabetology
English
Epidemiology
Aesthetics
Ethics
Ethnology
European (Integration) Law
Experimental Pathology
Pharmaceutical Biochemistry
Pharmaceutical Pharmacology
Pharmaceutical Physical Chemistry
Pharmaceutical Science
Pharmacoepidemiology
Pharmacognosy
Pharmacokinetics and Drug Therapy
Pharmacology
Philosophy, with specialization in history of philosophy
Philosophy
Fiscal Law
Finno-Ugric Languages
Public International Law
Peace and Conflict Research
Physics with specialization in Astrophysics
Physics with spec. in Atomic, Molecular and Condensed Matter Physics
Physics with specialization in Biophysics
Physics with specialization in Elementary Particle Physics
Physics with specialization in Physics Education
Physics with specialization in Global Energy Resources
Physics with specialization in Ion Physics
Physics with specialization in Quantum Chemistry
Physics with specialization in Nuclear Physics
Physics with specialization in Space and Plasma Physics
Physics with specialization in Applied Nuclear Physics
Physics and Astronomy specializing in Theoretical Physics
Physics
Physiology
Business Studies
Corporate Law
Administrative Law
Pharmaceutics
Old Testament Exegesis
Gender Studies
Geophysics with specialization in Solid Earth Physics
Geophysics with specialization in Seismology
Geography
Earth Science with specialization in Historical Geology and Palaeontology
Earth Science with specialization in Quaternary Geology
Earth Science with specialization in Environmental Analysis
Earth Science with specialization in Mineral Chemistry, Petrology and Tectonics
Earth Science with specialization in Physical Geography
Geriatrics
Greek
History
Domestic Sciences
Hydrology
Health Care Research
History of Sciences and Ideas
Immunology
Indology with Classical Sanscrit
Infectious Diseases
Information Systems
International Health
Private International Law
Internal Medicine
Iranian Languages
Comparative Indo-European Linguistics and Philology
Cardiology
Celtic Languages
Chemistry with specialization in Analytical Chemistry
Chemistry with specialization in Biophysics
Chemistry with specialization in Bioorganic Chemistry
Chemistry with specialization in Physical Chemistry
Chemistry with specialization in Chemical Physics
Chemistry with specialization in Quantum Chemistry
Chemistry with specialization in Materials Chemistry
Chemistry with specialization in Microbial Chemistry
Chemistry with specialization in Molecular Biomimetics
Chemistry with specialization in Inorganic Chemistry
Chemistry with specialization in Organic Chemistry
Chemistry with specialization in Polymer Chemistry
Chemistry with Specialisation in Theoretical Chemistry
Chemistry with specialization in Surface Biotechnology
Chemistry
Surgery
Clinical Bacteriology
Clinical Pharmacology
Clinical Physiology
Clinical Genetics
Clinical Immunology
Clinical Chemistry
Clinical Neurophysiology
Clinical Virology
Constitutional Law
History of Art
Food, Nutrition and Dietetics
Cultural Anthropology
Social and Economic Geography
Studies of Churches and Denominations
Church History
Ecclesiology
Oral and Maxillofacial Surgery
Latin
Linguistics
Literature
Lung Medicine
Medicinal Chemistry
Drug Metabolism
Mathematics with specialization in Applied Mathematics
Mathematics
Mathematical Logic
Mathematical Statistics
Medical Biochemistry
Medical Cell Biology
Medical Genetics
Medical Informatics
Medical Radiophysics
Medical Law
Medical Science
Medical Virology
Media and Communication Studies
Meteorology
Microbiology
Environmental Law
Studies of Missions
Molecular Life Sciences
Molecular Cellbiology
Molecular Genetics
Molecular Medicine
Musicology
Human-Computer Interaction
Economics
Natural Resources and Sustainable Development
Neurosurgery
Neurology
Scandinavian Languages
Nutrition
New Testament Exegesis
Obstetrics and Gynaecology
Public Law
Ophtalmology
Oncology
Orthopaedics
Oto-Rhino-Laryngology
Pathology
Education
Pediatrics
Plastic Surgery
Practical Philosophy
Procedural Law
Psychiatry
Psychology
Radiology
Rehabilitation Medicine
Philosophy of Religion
History of Religions
Psychology of Religion
Sociology of Religion
Rhetoric
Romance Languages
Legal History and Sociology of Law
Forensic Medicine
Social Pharmacy
Semitic Languages
Sinology
Physiotherapy
Slavic Languages
Social Medicine
Social Work
Social Work
Sociology
Statistics
Political Science
Criminal Law
Systematic Theology and Studies in Worldviews
Engineering Science with specialization in Atmospheric Discharges
Engineering Science with specialization in Civil Engineering and Built Environment
Engineering Science with specialization in Science of Electricity
Engineering Science with specialization in Electronics
Engineering Science with specialization in Solid State Physics
Engineering Science with specialization in the Science of Global Energy Resources
Engineering Science with specialization in Solid Mechanics
Engineering Science with specialization in industrial engineering and management
Engineering Science with specialization in Materials Analysis
Engineering Science with specialization in Materials Science
Engineering Science with specialization in Microsystems Technology
Engineering Science with specialization in Microwave Technology
Engineering Science with specialization in Nanotechnology and Functional Materials
Engineering science with specialization in Applied Mechanics
Engineering Science with specialization in Tribo Materials
Engineering Science
Theoretical Philosophy
Theoretical Physics
Textile Studies
Thorax Surgery
Applied Mathematics and Statistics
Transfusion Medicine
Studies In Faiths and Ideologies
Turkic languages
German
Urology
Sociology of Education
Caring Sciences

Select educational program

Show educational programs that no longer are in use

Master of Science Programme in Pharmacy
Midwifery programme
Bachelor Programme in Behavioural Sciences
Biomedicine Programme
Biomedical Laboratory Science Programme
Building Conservation Program
Master Programme in Electrical Engineering
Master Programme in Energy Systems Engineering
Master of Science Programme in Information Technology Engineering
Master Programme in Chemical Engineering
Master Programme in Environmental and Water Engineering
Molecular Biotechnology Engineering Programme
Master Programme in Materials Engineering
Master Programme in Engineering Physics
Systems in Technology and Society Programme
Programme in Computer Science
Master Programme in Computer Science
Programme for Clinical Dietetitians
Bachelor Programme in Business and Economics
Business Aministration and Economics Programme
Freestanding course
Physiotherapy programme
Objects Antiquarian Programme
Pre-school Teacher Education Programme
Primary School Teacher Education Programme
Bachelor Programme in Historical Sciences
Bachelor Programme in Construction Engineering
Bachelor Programme in Electrical Engineering
Bachelor Programme in Quality Engineering and Management
Bachelor Programme in Nuclear Engineering
Bachelor Programme in Mechanical Engineering
Law Programme
Bachelor's Programme in Archaeology and Ancient History
Bachelor's Programme in Archaeology and Osteology
Bachelor Programme in Biology / Molecular Biology
Bachelor Programme in Computer Science
Bachelor's Programme in Energy Transition - Sustainability and Leadership
Bachelor Programme in Peace and Development Studies
Bachelor Programme in Physics
Bachelor Programme in Business Studies
Bachelor Programme in Earth Science
Bachelor Programme in Chemistry
The Uppsala Culture and Society Programme
Bachelor Programme in Cultural Entrepreneurship
Bachelor Programme in Leadership - Quality Management - Improvement
Bachelor Programme in Mathematics
Bachelor Programme in Environmental Science
Bachelor Programme in Theology and Religious Studies
Bachelor Programme in Rhetorical and Literary Communication
Bachelor's Programme in Game Design and Graphics
Bachelor's Programme in Game Design and Programming
Bachelor's Programme in Game Design and Project Management
Bachelor's Programme in Game Design
Bachelor programme in Information Systems
Bachelor Programme in Foodservice and Nutrition
Bachelor Programme in Liberal Arts
Degree of Master of Science in Speech and Language Pathology
Medicine Programme
Master Programme in Entrepreneurship
Master Programme in Humanitarian Action and Conflict
Master Programme in Sustainable Destination Development (60 credits)
Master Programme in Sustainable Management
Master Programme in Intellectual Property Law
Master Programme in Investment Treaty Arbitration
Master Programme in International Tax Law and EU Tax Law
Master Programme in Chemistry
Master Programme in Clinical Pharmacy
Master Programme in Art History
Master Programme in Conservation
Master Programme in Leadership
Magisterprogram i revision
Master Programme in Wind Power Project Management
Master programme in International Financial Management
Master's Programme in Pharmaceutical Modelling
Master Programme in Bioinformatics
Master Programme in Biology
Master Programme in Biomedicine
Master Programme in Computer and Systems Sciences
Master Programme in Computer Science
Master Programme in Digital Art History
Master Programme in Energy Technology
Master Programme in Euroculture
Master Programme in Public Health
Master Programme in Peace and Conflict Studies
Master Programme in Physics
Master Programme in Business and Management
Master Programme in Geography
Master Programme in Earth Science
Master Programme in Global health
Master Programme in Global Environmental History
Master Programme in the Humanities - Ethnology
Master Programme in the Humanities - Gender Studies
Master Programme in the Humanities - Art History
Master Programme in the Humanities - Cultural Anthropology
Master's programme in the humanities - Cultural Heritage and Sustainability
Master’s Programme in the Humanities – Classical Archaeology and Ancient History
Master’s Programme in the Humanities – Archaeology
Master’s Programme in the Humanities – Egyptology
Master Programme in the Humanities – History of Science and Ideas
Master Programme in the Humanities - Literature
Master Programme in the Humanities - Musicology
Master Programme in the Humanities - Rhetoric
Master Programme in Sustainable Destination Development (120 credits)
Master Programme in Sustainable Development
Masters Programme in Embedded Systems
Master Programme in Infection Biology
Master Programme in International Humanitarian Action
Master Programme in International Health
Master Programme in Chemistry
Master Programme in Drug Management
Master Programme in Drug Discovery and Development
Master Programme in Management, Communication and IT
Master Programme in Mathematics
Master Programme in Medical Research
Master Programme in Molecular Biotechnology
Master Programme in Human-Computer Interaction
Master Programme in Human Rights
Master Programme in Economics
Master Programme in Educational Management
Master Programme in Politics and International Studies
Master's Programme in Accounting and Financial Management
Master Programme in Accounting, Auditing and Analysis
Master Programme in Religion in Peace and Conflict
Master Programme in Theology and Religious Studies
Master Programme in Social Sciences
Master Programme in Scandinavian Studies
Master Programme in Languages
Master Programme in Language Technology
Master Programme in Statistics
Master Programme in Swedish
Master programme in Information Systems
Master Programme in Computational Science
Master Programme in Applied Biotechnology
Master Programme in Education
Master Programme in Sociology of Education
Master Programme in Educational Sciences
Master's Programme in Wind Power Project Management
Masterprogrammet i ABM
Master Programme in Renewable Electricity Production
Master Programme in Industrial Management and Innovation
Bachelor Programme in Oriental Studies
Bachelor Programme in Political Science
Master Programme in Political Science
Computer and Systems Science Program
Bachelor Programme in Human Resource Management and Working Life
Psykologprogrammet
Bachelor of Science Programme in Pharmacy
Radiography Programme
Bachelor Programme in Urban and Regional Planning
Bachelor Programme in Social Sciences
Sjukgymnastprogrammet
Registered Nurse Programme
Social Work Programme Campus Gotland
Social Work Programme
Specialist Nursing Programme Emergency Care
Specialistsjuksköterskeprogrammet med inriktning mot ambulanssjukvård
Specialistsjuksköterskeprogrammet med inriktning mot anestesisjukvård
Specialist Nursing Programme Diabetes Care
Specialistsjuksköterskeprogrammet med inriktning mot distriktssköterska
Specialistsjuksköterskeprogrammet med inriktning mot hälso- och sjukvård för barn och ungdomar
Specialistsjuksköterskeprogrammet med inriktning mot intensivvård
Specialistsjuksköterskeprogrammet med inriktning mot kirurgisk vård
Specialistsjuksköterskeprogrammet med inriktning mot onkologisk vård
Specialistsjuksköterskeprogrammet med inriktning mot operationssjukvård
Specialistsjuksköterskeprogrammet med inriktning mot psykiatrisk vård
Specialistsjuksköterskeprogrammet med inriktning mot vård av äldre
Special Needs Teacher Education Programme
Game Design and Graphics
Game Design and Programming
Bachelor Programme in Language Technology
Upper Secondary School Teacher Education Programme
Master Programme in Translation

Referera ExporteraLink to record

Permanent link

http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-130931

Direct link

http://uu.diva-portal.org/smash/record.jsf?pid=diva2:352108

Referera

Referensformat

apa
ieee
modern-language-association
vancouver
Annet format

Fler format

Språk

de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annet språk

Fler språk

Utmatningsformat

html
text
asciidoc
rtf

Monotonic Abstraction in Parameterized Verification

Abdulla, Aziz

Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.

Delzanno, Giorgio

Rezine, Ahmed

Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.

2008 (engelsk)Inngår i: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, E-ISSN 1571-0661, Vol. 223, s. 3-14Artikkel i tidsskrift (Fagfellevurdert) Published

sted, utgiver, år, opplag, sider

2008. Vol. 223, s. 3-14

HSV kategori

Identifikatorer

URN: urn:nbn:se:uu:diva-130931DOI: 10.1016/j.entcs.2008.12.027OAI: oai:DiVA.org:uu-130931DiVA, id: diva2:352108

Tilgjengelig fra: 2010-09-17 Laget: 2010-09-17 Sist oppdatert: 2017-12-12bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Personposter BETA

Abdulla, Aziz Rezine, Ahmed

Søk i DiVA

Av forfatter/redaktør

Abdulla, Aziz Rezine, Ahmed

Av organisasjonen

I samme tidsskrift

Electronical Notes in Theoretical Computer Science

Om emnet

Søk utenfor DiVA

Google Google Scholar

doi

urn-nbn

Totalt: 1039 treff