Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "FM-Everywhere@FORTE/PSTV"( http://dblp.L3S.de/Venues/FM-Everywhere@FORTE/PSTV )

URL (DBLP): http://dblp.uni-trier.de/db/journals/entcs

Publication years (Num. hits)
2000 (10)
Publication types (Num. hits)
inproceedings(10)
Venues (Conferences, Journals, ...)
FM-Everywhere@FORTE/PSTV(10)
Authors
Giorgio P. Faconti(2) Howard Bowman(2) Mieke Massink(2) David A. Duce(1) David J. Duke(1) Gavin J. Doherty(1) Graziella Tonfoni(1) John M. Rushby(1) Kenneth J. Turner(1) Klaus Schneider 0001(1) Kwang Yi(1) Michael Baldamus(1) Michael Newton(1) Michael Wenz(1) Nikolay V. Shilov 0002(1) Roberto Ziller(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Michael Newton Grammatical Specification in ASL: Germanic Dependent Clause Order. Search on Bibsonomy FM-Everywhere@FORTE/PSTV The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Howard Bowman Formal Methods Elsewhere - A Satellite Workshop of FORTE-PSTV-2000 devoted to applications of formal methods to areas other than communication protocols and software engineering. Search on Bibsonomy FM-Everywhere@FORTE/PSTV The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink Formal Verification in the Design of Gestural Interaction. Search on Bibsonomy FM-Everywhere@FORTE/PSTV The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Graziella Tonfoni CTML - A Context Transport Mark-up Language for Formalization and Verification of Legal, Medical and Bureaucratic and Safety procedures and Protocols. Search on Bibsonomy FM-Everywhere@FORTE/PSTV The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Howard Bowman, Giorgio P. Faconti, Mieke Massink Towards Integrated Cognitive and Interface Analysis. Search on Bibsonomy FM-Everywhere@FORTE/PSTV The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Nikolay V. Shilov 0002, Kwang Yi Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers. Search on Bibsonomy FM-Everywhere@FORTE/PSTV The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1David A. Duce, David J. Duke Syndetic Modelling: Computer Science Meets Cognitive Psychology. Search on Bibsonomy FM-Everywhere@FORTE/PSTV The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1John M. Rushby Analyzing Cockpit Interfaces Using Formal Methods. Search on Bibsonomy FM-Everywhere@FORTE/PSTV The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Michael Baldamus, Klaus Schneider 0001, Michael Wenz, Roberto Ziller Can American Checkers be Solved by Means of Symbolic Model Checking? Search on Bibsonomy FM-Everywhere@FORTE/PSTV The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Kenneth J. Turner The N-Body Problem in LOTOS. Search on Bibsonomy FM-Everywhere@FORTE/PSTV The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license