GOALIE, a common lisp application to discover "Hidden Kripke Models"

Redescribing biological processes from time-coarse data

Bhubaneswar Mishra, Marco Antoniotti, Naren Ramakrishnan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationInternational lisp conference 2005, Stanford University, June 19-22, 2005
StatePublished - 2005

Cite this

Mishra, B., Antoniotti, M., & Ramakrishnan, N. (2005). GOALIE, a common lisp application to discover "Hidden Kripke Models": Redescribing biological processes from time-coarse data. In International lisp conference 2005, Stanford University, June 19-22, 2005

GOALIE, a common lisp application to discover "Hidden Kripke Models" : Redescribing biological processes from time-coarse data. / Mishra, Bhubaneswar; Antoniotti, Marco; Ramakrishnan, Naren.

International lisp conference 2005, Stanford University, June 19-22, 2005. 2005.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Mishra, B, Antoniotti, M & Ramakrishnan, N 2005, GOALIE, a common lisp application to discover "Hidden Kripke Models": Redescribing biological processes from time-coarse data. in International lisp conference 2005, Stanford University, June 19-22, 2005.
Mishra B, Antoniotti M, Ramakrishnan N. GOALIE, a common lisp application to discover "Hidden Kripke Models": Redescribing biological processes from time-coarse data. In International lisp conference 2005, Stanford University, June 19-22, 2005. 2005
Mishra, Bhubaneswar ; Antoniotti, Marco ; Ramakrishnan, Naren. / GOALIE, a common lisp application to discover "Hidden Kripke Models" : Redescribing biological processes from time-coarse data. International lisp conference 2005, Stanford University, June 19-22, 2005. 2005.
@inproceedings{a13bd3010edc4a23ba825dc7093a4e67,
title = "GOALIE, a common lisp application to discover {"}Hidden Kripke Models{"}: Redescribing biological processes from time-coarse data",
author = "Bhubaneswar Mishra and Marco Antoniotti and Naren Ramakrishnan",
year = "2005",
language = "English (US)",
booktitle = "International lisp conference 2005, Stanford University, June 19-22, 2005",

}

TY - GEN

T1 - GOALIE, a common lisp application to discover "Hidden Kripke Models"

T2 - Redescribing biological processes from time-coarse data

AU - Mishra, Bhubaneswar

AU - Antoniotti, Marco

AU - Ramakrishnan, Naren

PY - 2005

Y1 - 2005

M3 - Conference contribution

BT - International lisp conference 2005, Stanford University, June 19-22, 2005

ER -