Остановите войну!
for scientists:
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 58 matches
- 1991
- Juan Quemada, José A. Mañas, Enrique Vázquez:
Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990. North-Holland 1991, ISBN 0-444-89024-6 [contents] - 1990
- A. B. Alkhechi, Stanislaw Budkowski:
Automatic Translation of Time Petri Nets into Estelle Description. FORTE 1990: 369-376 - Pierre Azéma, Khalil Drira, François Vernadat:
A Bus Instrumentation Protocol Specified in LOTOS. FORTE 1990: 263-269 - Mário Baptista, Susanne Graf, Jean-Luc Richier, Luís E. T. Rodrigues, Carlos Rodriguez, Paulo Veríssimo, Jacques Voiron:
Formal Specification and Verification of a Network Independent Atomic Multicast Protocol. FORTE 1990: 345-352 - Falko Bause, Peter Buchholz:
Protocol Analysis Using a Timed Version of SDL. FORTE 1990: 239-254 - Gregor von Bochmann, Daniel Ouimet, Gerald W. Neufeld:
ASN.1 and Estelle Implementation Support Tools. FORTE 1990: 531-534 - Tommaso Bolognesi, David de Frutos-Escrig, Yolanda Ortega-Mallén:
Graphical Composition Theorems for Parallel and Hiding Operators. FORTE 1990: 459-470 - F. Brady, A. Boshier, D. Pitt, B. Szczygiel:
One2One - A Tool for Translating ASN.1 to ACT ONE. FORTE 1990: 539-542 - Manfred Broy:
Methodological Objectives for Formal Description Techniques. FORTE 1990: 1-16 - E. Jane Cameron, David M. Cohen, Timothy M. Guinther, William M. Keese II, Linda A. Ness, Cynthia Norman, Hassan N. Srinidhi:
L.0: A Language for Modeling and Prototyping Communications Software. FORTE 1990: 223-238 - Y. T. Cheung, J. William Atwood:
Specifying the Xpress Transfer Protocol Using Estelle and Valira. FORTE 1990: 503-517 - To-Yat Cheung, Yucheng Ye:
An Executor for Graphical LOTOS. FORTE 1990: 547-550 - Woojik Chun, Paul D. Amer:
Test Case Generation for Protocols Specified in Estelle. FORTE 1990: 191-206 - Piotr Dembinski:
Interfacing ASN.1 and Estelle: A Practical Approach. FORTE 1990: 361-368 - Rachida Dssouli, Reine Fournier, Gregor von Bochmann:
Distributed Observation and FIFO Queues. FORTE 1990: 303-310 - Martin Dubuc, Gregor von Bochmann, O. Bellal, F. Saba:
Translation from TTCN to LOTOS and the Validation of Test Cases. FORTE 1990: 141-155 - Roger Duke, Gordon A. Rose, Graeme Smith:
Transferring Formal Techniques to Industry. FORTE 1990: 279-286 - Peter van Eijk, Henk Eertink:
Design of the LOTOSPHERE Symbolic LOTOS Simulator. FORTE 1990: 577-580 - Anders Ek, Jan Ellsberger:
TA-2: A Prototype Analysing Dynamic SDL Properties. FORTE 1990: 519-522 - M. Hakan Erdogmus, Robert de B. Johnston:
An Approach to Specifying and Synthesizing Communicating Processes. FORTE 1990: 111-126 - J. M. Martin Espinosa, J. M. Robles Roman, L. Fuertes Prieto:
Concurrent Modelling in LOTOS as a Solution to Real Time Problems. FORTE 1990: 311-318 - Ove Faergemand:
Stepwise Production of an SDL Description. FORTE 1990: 395-410 - Alessandro Fantechi, Stefania Gnesi, Gianluca Mazzarini:
How Expressive Are LOTOS Behaviour Expressions? FORTE 1990: 17-32 - Jean-Claude Fernandez, Laurent Mounier:
Verifying Bisimulations "On the Fly". FORTE 1990: 95-110 - Colin J. Fidge:
A LOTOS Interpreter for Simulating Real-Time Behaviour. FORTE 1990: 523-526 - S. Gallouzi, Luigi Logrippo, Abdellatif Obaid:
A Hoare-style Proof System for LOTOS. FORTE 1990: 49-62 - M. Gamble, C. R. Taylor:
The CCSDS Protocol Validation Programme Inter Agency Testin Using LOTOS. FORTE 1990: 319-326 - Martine Guilmet, Philippe Thomas, Bruno Traverson:
Desing, Implementation and Validation of a Multi-Peer Protocol Using Estelle. FORTE 1990: 487-502 - Matthew Hennessy, Tim Regan:
A Temporal Process Algebra. FORTE 1990: 33-48 - Josef Hinterplattner, Heinrich Nirschl, Heinz Saria:
Process Topology Diagrams. FORTE 1990: 443-458
skipping 28 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-04-25 15:10 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