BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
2 × USA
Collaborated with:
M.Kim Y.Xu E.Cerny X.Song O.A.Mohamed K.D.Anon N.Boulerice M.Langevin S.Tahar Z.Zhou
Talks about:
spreadsheet (1) expertsheet (1) paradigm (1) multiway (1) tempor (1) system (1) expert (1) design (1) author (1) verif (1)

Person: Francisco Corella

DBLP DBLP: Corella:Francisco

Contributed to:

CAV 19981998
CAV 19961996
SEKE 19961996

Wrote 3 papers:

CAV-1998-XuCSCM #first-order #graph #logic #model checking #multi #using
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (YX, EC, XS, FC, OAM), pp. 219–231.
CAV-1996-AnonBCCLSTXZ #design #tool support #verification
MDG Tools for the Verification of RTL Designs (KDA, NB, EC, FC, ML, XS, ST, YX, ZZ), pp. 433–436.
SEKE-1996-CorellaK #authoring #named #paradigm #spreadsheet
Expertsheets: A Spreadsheet Paradigm for Authoring Expert Systems (FC, MK), pp. 25–31.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.