[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*From*: Hai Zhou <haiz...@xxxxxxxxx>*Date*: Sat, 1 Jun 2013 21:43:39 -0700 (PDT)

I would like to embed PlusCal algorithms and TLA+ specs in my paper in latex.

What is the style file I need to use for that, and where can I find it?

Thanks very much.

--

Hai

**Follow-Ups**:**Re: [tlaplus] embed PlusCal and TLA+ specs in latex papers***From:*TLA Plus

- Prev by Date:
**Re: [tlaplus] Blog post that uses TLA+ in a debate about properties of system designs** - Next by Date:
**Re: [tlaplus] embed PlusCal and TLA+ specs in latex papers** - Previous by thread:
**"Raft" : A new consensus algorithm with a TLA+ spec** - Next by thread:
**Re: [tlaplus] embed PlusCal and TLA+ specs in latex papers** - Index(es):