default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 61 matches
- 1996
- Luca Aceto, Anna Ingólfsdóttir:
An Equational Axiomatization of Observation Congruence for Prefix Iteration. AMAST 1996: 195-209 - Davide Ancona, Elena Zucca:
A Formal Framework for Modules with State. AMAST 1996: 148-162 - André Arnold, Didier Bégay, Jean-Pierre Radoux:
The Embedded Software of an Electrical Meter: An Experiment in Using Formal Methods in an Industrial Project. AMAST 1996: 19-32 - Christel Baier, Mila E. Majster-Cederbaum:
A Categorical Characterization of Consistency Results. AMAST 1996: 473-486 - Jan A. Bergstra, Paul Klint:
The Discrete Time TOOLBUS. AMAST 1996: 286-305 - Gilles Bernot, Sophie Coudert, Pascale Le Gall:
Towards Heterogeneous Formal Specification. AMAST 1996: 458-472 - Gérard Berry:
Constructive Semantics of Esterel: From Theory to Practice (Abstract). AMAST 1996: 225 - Didier Bert, Rachid Echahed, Kamel Adi:
Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation. AMAST 1996: 629-632 - Janet Bertot, Yves Bertot:
CtCoq: A System Presentation. AMAST 1996: 600-603 - Michel Bidoit, Christine Choppy, Frédéric Voisin:
ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools. AMAST 1996: 555-558 - Michele Boreale:
Symbolic Bisimulation for Timed Processes. AMAST 1996: 321-335 - Michel Le Borgne, Hervé Marchand, Éric Rutten, Mazen Samaan:
Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller. AMAST 1996: 271-285 - Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone:
The FC2TOOLS Set. AMAST 1996: 595-598 - Mark van den Brand, Arie van Deursen, Paul Klint, Steven Klusener, Emma van der Meulen:
Industrial Applications of ASF+SDF. AMAST 1996: 9-18 - Manfred Broy:
Algebraic Specification of Reactive Systems. AMAST 1996: 487-503 - Richard Buckland, Michael Johnson:
ECHIDNA: A System for Manipulating Explicit Choice Higher Dimensional Automata. AMAST 1996: 587-590 - Reinhard Bündgen, Werner Lauterbach:
Combining Reductions and Computations in ReDuX. AMAST 1996: 633-636 - Xiao Jun Chen, Flavio Corradini, Roberto Gorrieri:
A Study on the Specification and Verification of Performance Properties (Extended Abstract). AMAST 1996: 306-320 - Arie van Deursen, Peter D. Mosses:
ASD: The Action Semantic Description Tools. AMAST 1996: 579-582 - Klaus Didrich, Carola Gerke, Wolfgang Grieskamp, Christian Maeder, Peter Pepper:
Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract). AMAST 1996: 559-562 - Sebastian Erdmann, Ingo Claßen:
ALPHA - A Class Library for a Metamodel Based on Algebraic Graph Theory. AMAST 1996: 625-628 - José Luiz Fiadeiro:
On the Emergence of Properties in Component-Based Systems. AMAST 1996: 421-443 - John S. Fitzgerald:
Two Industrial Trials of Formal Specification. AMAST 1996: 1-8 - Wan J. Fokkink:
On the Completeness of the Euations for the Kleene Star in Bisimulation. AMAST 1996: 180-194 - Ranan Fraer:
Tracing the Origins of Verification Conditions. AMAST 1996: 241-255 - Antonio Gavilanes, Javier Leach, Susana Nieva:
Free Variable Tableaux for a Many Sorted Logic with Preorders. AMAST 1996: 102-116 - Robert Geisler, Marcus Klar, Felix Cornelius:
InterACT: An Interactive Theorem Prover for Algebraic Specifications. AMAST 1996: 563-566 - E. Pascal Gribomont:
Preprocessing for Invariant Validation. AMAST 1996: 256-270 - Jan Friso Groote, Jaco van de Pol:
A Bounded Retransmission Protocol for Large Data Packets. AMAST 1996: 536-550 - Radu Grosu, Ketil Stølen:
A Model for Mobile Point-to-Point Data-flow Networks without Channel Sharing. AMAST 1996: 504-519
skipping 31 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-09-13 08:29 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint